Erdwolf / prologLinks
A prolog interpreter written in Haskell.
☆62Updated 9 years ago
Alternatives and similar repositories for prolog
Users that are interested in prolog are comparing it to the libraries listed below
Sorting:
- The Disco Discus Compiler☆174Updated 6 years ago
- higher order dependently typed logic programing☆173Updated 6 years ago
- A pure Haskell implementation of Datalog☆105Updated 4 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- A small implementation of a proof refinement logic.☆50Updated 7 years ago
- Provably correct implementation of insertion sort in Idris.☆31Updated 4 years ago
- Build tool for ATS.☆41Updated 3 years ago
- being the beginnings of at least zero typecheckers☆34Updated 8 years ago
- Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"☆16Updated last year
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆83Updated 8 years ago
- Mindless, verified (erasably) coding using dependent types☆104Updated 9 years ago
- ☆84Updated 7 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆78Updated 5 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 10 months ago
- TParsec - Total Parser Combinators in Idris☆95Updated last year
- Another implementation of Frank.☆70Updated 7 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 10 years ago
- ET (IPL) language interpreters and literature☆26Updated 6 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Compositional type checking for Haskell☆37Updated 14 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- enumerative property-based testing for Haskell☆53Updated 4 months ago
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago