smichal / hs-logic
A simple library for Haskell that allows relational programming.
☆47Updated 12 years ago
Related projects: ⓘ
- A general purpose programming language with linear types☆44Updated 7 years ago
- ☆41Updated 7 years ago
- MPFR bindings for Haskell☆33Updated 11 months ago
- Austin's supercompiler work☆21Updated 4 years ago
- System F implemented in Haskell☆24Updated 12 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆13Updated 5 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- Diploma work (if this is still here contact me if you need details)☆13Updated 7 years ago
- Compositional type checking for Haskell☆36Updated 13 years ago
- optimising compiler for Haskell's intermediate representation (STG) to LLVM IR☆31Updated 5 years ago
- "Programs that explain their effects" talk material☆17Updated 6 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 5 months ago
- Alternative Core language for GHC plugins☆39Updated 8 years ago
- ☆23Updated 9 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- System F in coq.☆19Updated 9 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 4 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- An experimental intermediate language for GHC☆37Updated 7 years ago
- ☆22Updated 11 months ago
- Modern compiler implementation in ML, in Haskell☆16Updated 6 years ago
- scraps and bits and bobs☆14Updated 2 years ago
- Compiler for IMP programming language implemented in Haskell☆16Updated 4 years ago
- ☆23Updated 7 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- A copy of Daan Leijen's reference implementation of HMF (type inference)☆15Updated 8 years ago
- Interpreter for functional pure type systems.☆21Updated 7 years ago
- Morte IDE☆28Updated 8 months ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 2 years ago
- Automatically exported from code.google.com/p/trellys☆45Updated 5 years ago