John-Nagle / nqthmLinks
nqthm - the original Boyer-Moore theorem prover, from 1992
☆52Updated 8 years ago
Alternatives and similar repositories for nqthm
Users that are interested in nqthm are comparing it to the libraries listed below
Sorting:
- Guy Steele's RABBIT Scheme compiler☆60Updated 16 years ago
- Don't Lisp, Talk!☆57Updated last year
- An object-oriented dialect of Scheme☆59Updated 3 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆132Updated last month
- A virtual machine for the Self language, written entirely in Self, and a development environment for that VM.☆44Updated 15 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- Probabilistic miniKanren