ShellCheck, a static analysis tool for shell scripts

A Dependently Typed Functional Programming Language

Empire strikes back

Clear to write, read and edit DSL for writing HTML

Frank compiler

Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.

A programming language that runs in Haskell's type system.

agda-mode for neovim

Twitter API package for Haskell, including enumerator interfaces and Streaming API supports.

I wanted to make a nicer sticker for Munihac, then things got out of hand.

Combinators for manipulating locally-nameless generalized de Bruijn terms

A little Doom-like 2.5 game engine

A terminal user interface programming library similar to graphical interfaces such as GTK and QT. (DEPRECATED, see https://github.com/jtdaugherty/brick)

🚣 Smuggle all imports

Snake game implemetation in Haskell using SDL2

A version of Epigram 1 that can run with newer GHCs

Haskell Snake clone.

The Prettiest Printer

This is a simple Minecraft Clone (DEMO) written in Haskell.

Community mini-reviews for scientific papers

Compiler backend for generating Scheme code

A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited capabilities.

parser for config files, shell variables, command line args.

CS316 "Functional Programming" lecture notes

Benchmarking tool for compile-time performance of Agda programs

A Functional Correspondence between Evaluators and Abstract Machines

Core dependent language based on OTT (someday)

Random generation of well-typed Haskell programs