darius / mccarthy-to-bryantLinks
Propositional logic in terms of if-then-else
☆15Updated 7 years ago
Alternatives and similar repositories for mccarthy-to-bryant
Users that are interested in mccarthy-to-bryant are comparing it to the libraries listed below
Sorting:
- Metacircular evaluator for a tiny fexpr language☆44Updated 13 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- Category Theory in Agda☆13Updated 7 years ago
- Logic for story telling!☆34Updated 7 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13Updated 9 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 8 years ago
- ☆19Updated 4 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- Martin-Löf Extensible Specification and Simulator☆29Updated 9 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- microkanren in sml☆26Updated 10 years ago
- Coq proofs for the paper "Calculating Correct Compilers"☆30Updated last year
- ALGT 2.0☆30Updated 5 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 4 years ago
- Boolean Constraint Solving in Prolog☆43Updated 6 months ago
- My favorite quotes☆17Updated 11 months ago
- The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.☆2Updated 8 years ago
- For supporting template-based programming☆21Updated 5 years ago
- ET (IPL) language interpreters and literature☆26Updated 6 years ago
- ☆60Updated 6 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆22Updated 9 years ago
- Fast, simplified WAM-based Prolog system☆22Updated last month
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆52Updated 8 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- Implementation of dependent type theory in SWI-Prolog☆9Updated 4 years ago
- Miller/pattern unification in Agda☆65Updated 11 years ago
- A language-integrated proof assistant, for and in Racket☆39Updated 8 years ago
- machine fusion☆16Updated 6 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Updated 6 years ago