Linux VR Desktop

Agda is a dependently typed programming language / interactive theorem prover.

Terminal-based presentations using Pandoc

Easy dependency management for Nix projects

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

A statically typed concatenative systems programming language.

Haskell code prettifier

Applicative option parser

Shake build system

The next generation esoteric language

A drop-in replacement for nix-serve that is faster and more reliable

⏱ Minimalist CLI task & time manager, written in Haskell.

Generates https://eel.is/c++draft

Embedded specification language & model checker in Haskell

Show Haskell type annotations when doing code review on Github

A library for writing discord bots in haskell

Yet another Haskell build system.

A bittorrent client, for learning purposes

Source code error pretty printing

gopher library & server written in Haskell

Tezos stablecoin smart contract

Final project for EECS 368 written in Haskell

FTP client and server library [Haskell]

Haskell Makefile parser

Take notes from you terminal.

Library for reading fasta sequence files

Flexible and powerful parser combinators for Haskell

A Gemini Protocol Server