Lists (3)
Starred repositories
9
stars
written in Haskell
Clear filter
Haskell to VHDL/Verilog/SystemVerilog compiler
A demo implementation of a simple dependently-typed language
🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend.
Interpreter for the reversible functional language rFun
Generating quines via E-unification for second-order abstact syntax.