xldenis / illLinks
educational compiler for not (quite) toy languages
☆21Updated 6 years ago
Alternatives and similar repositories for ill
Users that are interested in ill are comparing it to the libraries listed below
Sorting:
- Interpreter for GHC Haskell☆22Updated 5 years ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆80Updated 3 years ago
- compile your own functional language☆36Updated 6 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 10 months ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆68Updated last month
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated 2 years ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆131Updated 4 years ago
- ICFP tutorial☆39Updated 3 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- Demonstration for how to build "traverse" using GHC.Generics efficiently☆22Updated 6 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- being bits and pieces I'm inclined to leave lying around☆50Updated 5 months ago
- ☆79Updated 10 months ago
- Haskell simulations of spacecraft manoeuvres☆19Updated 4 years ago
- Where my everyday research happens☆53Updated last month
- Unpacked containers using backpack☆52Updated 5 years ago
- Haskell library for semigroup actions and torsors☆62Updated 4 months ago
- ☆45Updated 3 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆82Updated 3 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆45Updated 2 years ago
- Keep your laziness in check!☆33Updated 2 years ago
- a modern library for typed path manipulation in Haskell☆36Updated 3 years ago
- Generic functions for single-sorted first-order structural unification☆46Updated last month
- A general purpose programming language with linear types☆43Updated 8 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- Haskell library for efficiently building up buffers☆26Updated 4 months ago