Lists (3)
Starred repositories
10
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.
Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
Interpreter for the reversible functional language rFun
Generating quines via E-unification for second-order abstact syntax.