rikusalminen / funfun
A funny toy programming language project
☆29Updated 12 years ago
Alternatives and similar repositories for funfun:
Users that are interested in funfun are comparing it to the libraries listed below
- ☆41Updated 7 years ago
- A small implementation of type inference☆78Updated 9 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- An implementation of the Core language☆30Updated 9 years ago
- Write yourself a typed functional language☆65Updated 6 years ago
- NES programming in Haskell? No way!☆38Updated 9 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- Lazy functional language compiler targeting LLVM.☆29Updated 13 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- Book: Introduction to Dependent Types with Idris☆76Updated last year
- The LVish Haskell library☆80Updated 2 years ago
- Dive into GHC☆82Updated 8 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- A pure Haskell implementation of Datalog☆104Updated 4 years ago
- JVM code generation☆32Updated 6 years ago
- Brent's PhD thesis.☆63Updated 8 years ago
- xmonad in Coq☆43Updated 12 years ago
- A tiny scheme interpreter in Haskell☆24Updated 5 years ago
- compiler with polyhedral optmization for a lazy functional programming language