All Git Users → discus-lang

3 open source projects by discus-lang

[ Open user page on Github ]

The Disco Discus Compiler

✭ 164

haskell language compiler functional effects experimental

Coq formalizations of functional languages.

✭ 114

coq lambda-calculus proof

The compilation target that functional programmers always wanted.

✭ 62

haskell Makefile functional compiler lambda-calculus target low-level compilation

1-3 of 3 user projects