rikusalminen / funfun
A funny toy programming language project
☆29Updated 11 years ago
Related projects ⓘ
Alternatives and complementary repositories for funfun
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆47Updated 5 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- The LVish Haskell library☆81Updated 2 years ago
- An implementation of the Core language☆29Updated 9 years ago
- Write yourself a typed functional language☆65Updated 6 years ago
- A simple Prolog interpreter☆43Updated 2 years ago
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆54Updated 5 years ago
- A simple library for Haskell that allows relational programming.☆47Updated 12 years ago
- ☆41Updated 7 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 6 years ago
- A small implementation of type inference☆78Updated 9 years ago
- Brent's PhD thesis.☆63Updated 8 years ago
- A general purpose programming language with linear types☆44Updated 7 years ago
- A series of implementations of a simple functional programming language.☆30Updated 8 years ago
- Jhc: Haskell Compiler☆36Updated 9 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- Model-view-controller☆62Updated 2 years ago
- Functional Computer Vision☆20Updated 10 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- ☆59Updated 5 years ago
- Example row-polymorphism implementations☆59Updated last year
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 6 years ago
- A compiler for a simple language using llvm☆35Updated last year
- The Alms Programming Language☆44Updated 6 years ago
- A prolog interpreter written in Haskell.☆61Updated 9 years ago
- Dive into GHC☆82Updated 7 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆67Updated 7 years ago