mfourne / prologLinks
A prolog interpreter written in Haskell.
☆8Updated 4 years ago
Alternatives and similar repositories for prolog
Users that are interested in prolog are comparing it to the libraries listed below
Sorting:
- source code for the bondi programming language☆40Updated 6 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- MixML prototype interpreter☆27Updated 5 years ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated 2 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆58Updated last month
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- A dependent type theory with user defined data types☆46Updated 3 years ago
- apkg - package manager for Agda☆38Updated 3 years ago
- Unification and type inference algorithms☆125Updated 10 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 5 years ago
- Generic functions for single-sorted first-order structural unification☆45Updated 2 months ago
- GRIN backend for Idris☆50Updated 5 years ago
- Agda formalisation of second-order abstract syntax☆55Updated 2 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Library classes for the Twelf Proof System☆22Updated 5 years ago
- a self-hosting lambda calculus compiler☆35Updated 3 months ago
- ☆39Updated 10 months ago
- higher order dependently typed logic programing☆173Updated 6 years ago
- Example row-polymorphism implementations☆61Updated last year
- Toy typechecker for Insanely Dependent Types☆81Updated 11 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Kempe is a compiled stack-based language☆58Updated 9 months ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Updated 9 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 5 months ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- Lambda normalization and conversion checking benchmarks for various implementations☆59Updated 4 years ago
- Simplified Observational Type Theory☆83Updated 2 years ago
- LLVM code generation in Haskell☆54Updated 8 months ago