claire

Oclis

The obvious CLI specification format. You define the spec, Oclis generates the code! Support for ...

write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

effects

An implementation of "Freer Monads, More Extensible Effects".

mini-haskell

A self-hosting mini Haskell compiler with a mini C runtime.

free-est

haskell-proofs

Examples using dependent types for mathematical proofs at the type level

Lecturas_GLC

Readings on computational logic, interactive theorem proving and functional programming.

cha

A port of miniprl to Haskell with co-/inductive types bolted on the side.

h

hpp

hpp - A Haskell Preprocessor

theorem-proving-template

Template repo for theorem proving in Liquid Haskell

hs-to-coq

Convert Haskell source code to Coq source code.

ghc-compiler-notes

A collection of Notes on GHC