Haskell-Bindings to MiniSat
Statistics for this project are still being loaded, please check back later.
Linter for the Nix expression language
LaTeX document builder for Haskell
koneko - a concatenative not-quite-lisp for kittens
A self-hosting mini Haskell compiler with a mini C runtime.
Haskell LLVM JIT Compiler Tutorial
Alternative Haskell Infrastructure for Nixpkgs
Simple Haskell Minifier
UI experiments for coda
A minimal Prelude alternative containing only what is truly needed by the vast majority of modules
Haskell + nixpkgs = nix-hs
deprecated by `design-tools`
Poor man's typechecker in Template Haskell
Functional Programming Course
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Presburger arithmetic solver for built-in type-level naturals