webyrd / mediKanren
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
☆324Updated this week
Related projects ⓘ
Alternatives and complementary repositories for mediKanren
- Application of formal systems to model biological systems☆468Updated last year
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆91Updated 3 years ago
- Polynomial-time Meta-Interpretive Learning☆102Updated 3 months ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 5 years ago
- Canonical miniKanren implementation☆351Updated 6 years ago
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆185Updated 3 years ago
- LaTTe : a Laboratory for Type Theory experiments (in clojure)☆256Updated 11 months ago
- An in-memory datalog implementation for OCaml.☆261Updated 3 weeks ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆34Updated 12 years ago
- Interpreter for a simple Lisp. Written in Prolog.☆145Updated last year
- Algebraic structures for untyped Racket☆75Updated 3 months ago
- debugging biological networks to reach coherence, completeness and consistency☆43Updated 8 months ago
- staged relational interpreters: running with holes, faster☆125Updated this week
- Dr. Bayes☆83Updated 8 years ago
- The Road to Reality essay and newsletter source. A journey through computational physics, from eval/apply to the Einstein field equations…☆90Updated last year
- The implementation of microKanren, a featherweight relational programming language☆307Updated 10 years ago
- Persistence of concurrent activities for Gerbil Scheme☆48Updated 3 weeks ago
- ☆189Updated 5 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆159Updated 7 years ago
- a structured interaction engine 🗜️ ⚗️☆453Updated 9 months ago
- Research on integrating datalog & lambda calculus via monotonicity types☆387Updated 2 years ago
- a history of Lisp's most notorious artifact, parentheses☆570Updated last month
- Data science tooling for Racket☆84Updated 5 years ago
- A fully-featured lisp/scheme shell written in Racket.☆122Updated 3 years ago
- A Common Lisp library for solving linear programming problems☆108Updated 11 months ago
- ☆201Updated this week
- Bibliography of Scheme research (readscheme.org and beyond)☆149Updated last year
- A less devious proof assistant☆222Updated last year
- ☆419Updated 9 months ago
- Kenichi Asai's reflective programming language Black☆195Updated 2 years ago