smichal / hs-logic
A simple library for Haskell that allows relational programming.
☆47Updated 12 years ago
Related projects ⓘ
Alternatives and complementary repositories for hs-logic
- A copy of Daan Leijen's reference implementation of HMF (type inference)☆16Updated 8 years ago
- System F implemented in Haskell☆24Updated 12 years ago
- Alternative Core language for GHC plugins☆39Updated 8 years ago
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- optimising compiler for Haskell's intermediate representation (STG) to LLVM IR☆31Updated 5 years ago
- ☆41Updated 7 years ago
- playing with resumable computations☆13Updated 5 years ago
- MPFR bindings for Haskell☆34Updated last year
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆13Updated 5 years ago
- Compositional type checking for Haskell☆36Updated 13 years ago
- being a thing I build on a Saturday☆28Updated 6 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Morte IDE☆29Updated 10 months ago
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Updated 9 months ago
- Work on type class deriving with elaboration reflection☆31Updated 6 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- A GHC type checker plugin for row types☆39Updated 7 years ago
- Build tool for ATS.☆41Updated 2 years ago
- JHC Haskell compiler split into reusable components☆57Updated 5 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- KU Leuven Haskell Compiler☆16Updated 3 years ago
- An implementation of the Core language☆29Updated 9 years ago
- "Programs that explain their effects" talk material☆17Updated 6 years ago
- Type-safe open unions in Haskell☆31Updated 6 years ago
- ☆28Updated 6 years ago
- xmonad in Coq☆43Updated 12 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago