diku-kmc / kleenexlang
The Kleenex programming language
☆55Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for kleenexlang
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- A small implementation of type inference☆78Updated 9 years ago
- TiML: A Functional Programming Language with Time Complexity☆75Updated 7 years ago
- Epic - a Supercombinator Compiler☆65Updated 9 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- ET (IPL) language interpreters and literature☆26Updated 5 years ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- ☆59Updated 5 years ago
- being some experiments, working towards some equipment I wish I had☆37Updated 8 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Coq proofs for the paper "Calculating Correct Compilers"☆30Updated 11 months ago
- The Disco Discus Compiler☆174Updated 5 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆32Updated 4 years ago
- Accepted papers for POPL 2015☆67Updated 8 years ago
- MLton for scalable multicore architectures☆57Updated 10 years ago
- Automatically exported from code.google.com/p/trellys☆46Updated 5 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- An idris backend compiling to chez scheme☆47Updated 7 years ago
- A prolog interpreter written in Haskell.☆61Updated 9 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- ☆33Updated 9 years ago
- A compiler for Coq☆26Updated 11 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 3 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- Example row-polymorphism implementations☆59Updated last year
- Comparison of build program expressive power☆87Updated 5 years ago
- A DSL for describing and implementing communication protocols☆83Updated 9 years ago
- My Own Linear Lisp☆36Updated 6 years ago
- VM and tracing JIT for Haskell (work in progress)