Strategy combinators for compositional data types
BSD-3-CLAUSE License
(Eventually) a reasonably complete ARM implementation in Haskell
Generate Purescript types from Haskell
Translation of ASTs into multi-sorted compositional data types
we're TRYING AGAIN with @maybevoid
A self-hosting mini Haskell compiler with a mini C runtime.
GLL Parsing as Haskell parsing combinators
Compile time checks that a computation considers producing data through all possible constructors
Type level 2's and 16's complement arithmetic (old)
Please see the README on GitHub at https://github.com/jkoppel/ecta#readme
typing haskell in haskell
experiments with pext/pdep and codebruijn syntax
Simple Haskell Minifier