xldenis / ill
educational compiler for not (quite) toy languages
☆20Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for ill
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- A compiler for a simple language using llvm☆35Updated last year
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 2 weeks ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- Example row-polymorphism implementations☆59Updated last year
- A general purpose programming language with linear types☆44Updated 7 years ago
- compile your own functional language☆36Updated 5 years ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Template for Hindley-Milner based languages☆39Updated 2 years ago
- ICFP tutorial☆40Updated 3 years ago
- Haskell library for efficiently building up buffers☆26Updated 3 months ago
- ☆41Updated 7 years ago
- KU Leuven Haskell Compiler☆16Updated 3 years ago
- Low-overhead effect management for concrete monads☆37Updated 2 years ago
- Generic functions for single-sorted first-order structural unification☆41Updated last week
- ALGT 2.0☆30Updated 4 years ago
- Lightweight package providing commonly useful parser combinators☆52Updated 4 months ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆29Updated last year
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆122Updated 3 months ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- IO using sized types and copatterns☆33Updated 3 years ago
- A prototypical dependently typed languages with sized types and variances☆104Updated last year
- Generic unification-based type inference library☆25Updated 9 years ago
- Compositional type checking for Haskell☆36Updated 13 years ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆42Updated 5 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Updated 8 years ago
- being bits and pieces I'm inclined to leave lying around☆46Updated last month
- Alternative Core language for GHC plugins☆39Updated 8 years ago
- Tools for working with derived Show instances in Haskell.☆57Updated last year