smichal / hs-logic
A simple library for Haskell that allows relational programming.
☆46Updated 12 years ago
Alternatives and similar repositories for hs-logic:
Users that are interested in hs-logic are comparing it to the libraries listed below
- Austin's supercompiler work☆21Updated 5 years ago
- ☆41Updated 7 years ago
- System F implemented in Haskell☆24Updated 12 years ago
- Compositional type checking for Haskell☆36Updated 13 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆15Updated 6 years ago
- A copy of Daan Leijen's reference implementation of HMF (type inference)☆16Updated 8 years ago
- ICFP tutorial☆39Updated 3 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- MPFR bindings for Haskell☆34Updated last year
- being a thing I build on a Saturday☆28Updated 6 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 4 months ago
- Embedded C code generation DSL for Haskell.☆28Updated 5 years ago
- Interpreter for functional pure type systems.☆21Updated 7 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- The Prettiest Printer☆35Updated last year
- An experimental intermediate language for GHC☆36Updated 7 years ago
- "Programs that explain their effects" talk material☆17Updated 6 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 6 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- A GHC type checker plugin for row types☆39Updated 7 years ago
- A general purpose programming language with linear types☆44Updated 7 years ago
- KU Leuven Haskell Compiler☆15Updated 3 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 2 months ago
- Build tool for ATS.☆41Updated 2 years ago
- Haskell98 indexed functors, monads, comonads☆25Updated 2 years ago
- Morte IDE☆29Updated last year