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:
- A Scheme to Unlambda compiler☆18Updated 8 years ago
- source code for the bondi programming language☆40Updated 6 years ago
- A continuation-based backtracking logic programming monad☆91Updated 8 months ago
- Changes and Pinafore projects. Pull requests not accepted.☆34Updated 2 months ago
- For parts of https://www.ats-lang.org☆27Updated last month
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆62Updated 4 years ago
- A prolog interpreter written in Haskell.☆62Updated 10 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆59Updated 2 months ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated 2 years ago
- An extended typed Lambda Calculus☆21Updated last year
- a functional programming language with algebraic effects and handlers☆82Updated 5 months ago
- ☆39Updated last year
- Typing Haskell in Haskell☆15Updated 15 years ago
- ☆36Updated last year
- Dependently Typed Lambda Calculus in Haskell☆115Updated 4 years ago
- A dependent type theory with user defined data types☆47Updated 3 years ago
- Kempe is a compiled stack-based language☆58Updated 10 months ago
- GRIN backend for Idris☆50Updated 5 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 5 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 2 months ago
- The Twelf Programming Language☆141Updated 6 months ago
- Hindley-Milner type inference using constraints☆50Updated 8 years ago
- Lua backend for Idris 2☆28Updated 2 years ago
- a self-hosting lambda calculus compiler