Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
-
Updated
Jun 16, 2025 - Racket
#
minikanren
Here are 7 public repositories matching this topic...
multi-stage relational programming for staged relational interpreters: running with holes, faster
-
Updated
Jun 19, 2025 - Racket
zKanren
-
Updated
Aug 10, 2021 - Racket
CLP(Rosette) on top of miniKanren
-
Updated
Apr 7, 2022 - Racket
An implementation of miniKanren in Typed Racket.
-
Updated
May 3, 2021 - Racket
Racket implementation of minikanren using The Reasoned Schemer Second Edition syntax.
-
Updated
Jun 29, 2020 - Racket
Valuable code and experiments about the book "The Reasoned Schemer"
-
Updated
Jun 2, 2021 - Racket
Improve this page
Add a description, image, and links to the minikanren topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the minikanren t 2BC3 opic, visit your repo's landing page and select "manage topics."