Erdwolf / prolog
A prolog interpreter written in Haskell.
☆61Updated 9 years ago
Related projects: ⓘ
- higher order dependently typed logic programing☆164Updated 6 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 9 years ago
- The Disco Discus Compiler☆174Updated 5 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆71Updated 4 years ago
- A general purpose programming language with linear types☆44Updated 7 years ago
- Tiny type-checker with dependent types☆76Updated 10 years ago
- ☆82Updated 7 years ago
- Compositional type checking for Haskell☆36Updated 13 years ago
- A small implementation of a proof refinement logic.☆50Updated 7 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 7 years ago
- ☆41Updated 7 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆121Updated 2 years ago
- source code for the bondi programming language☆38Updated 5 years ago
- NES programming in Haskell? No way!☆38Updated 8 years ago
- An implementation of miniKanren in Haskell☆76Updated 11 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆121Updated last month
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- Hopefully verifiable code generation in GHC☆94Updated 7 years ago
- A pure Haskell implementation of Datalog☆102Updated 4 years ago
- An implementation of Functional Reactive Programming☆41Updated 9 years ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 8 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 3 years ago
- Dive into GHC☆82Updated 7 years ago
- Automatically exported from code.google.com/p/trellys☆45Updated 5 years ago
- Another implementation of Frank.☆71Updated 7 years ago
- The Helium compiler, Helium-as-a-library, and the texthint interpreter☆93Updated 7 months ago
- Embedded C code generation DSL for Haskell.☆28Updated 5 years ago
- A simple Prolog interpreter☆43Updated 2 years ago
- JHC Haskell compiler split into reusable components☆58Updated 5 years ago