ashton314 / muKanren_readingLinks
[Mirror] A close reading of the μKanren paper.
☆42Updated 2 years ago
Alternatives and similar repositories for muKanren_reading
Users that are interested in muKanren_reading are comparing it to the libraries listed below
Sorting:
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- various toys in j☆12Updated 3 years ago
- Constructive real numbers, in JavaScript. Based on Hans-J. Boehm's Java implementation☆17Updated 2 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 5 years ago
- A new declarative programming language☆23Updated 4 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆52Updated 8 years ago
- concatenative array language inspired by kdb/+q☆92Updated 3 years ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 4 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- k for BareMetal☆10Updated 5 months ago
- bcc is a b compiler☆32Updated 2 years ago
- Guy Steele's RABBIT Scheme compiler☆62Updated 16 years ago
- An introduction to the J programming language that gets to the point.☆61Updated 3 weeks ago
- An archive of material related to the Cyc project.☆22Updated last month
- Simple array language written in kotlin☆46Updated 2 years ago
- A PEG that compiles itself.☆76Updated 14 years ago
- Kanren with databases☆43Updated 10 months ago
- A simple incomplete Scheme-to-C compiler☆67Updated last month
- Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977☆51Updated last year
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 3 years ago
- Dawn Phase 1 proto-language☆37Updated 4 years ago
- A lisp dialect based on pattern matching and term rewriting☆84Updated 7 months ago
- #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…☆50Updated 3 years ago
- A concise programming language that is fun to use☆16Updated 9 years ago
- a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…☆15Updated 3 years ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆62Updated 5 years ago
- ☆52Updated 3 weeks ago