webyrd / mediKanren
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
☆330Updated 2 months ago
Alternatives and similar repositories for mediKanren:
Users that are interested in mediKanren are comparing it to the libraries listed below
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆189Updated 4 years ago
- LaTTe : a Laboratory for Type Theory experiments (in clojure)☆259Updated last month
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆131Updated 2 weeks ago
- Polynomial-time Meta-Interpretive Learning☆120Updated 2 months ago
- Canonical miniKanren implementation☆355Updated 7 years ago
- Persistence of concurrent activities for Gerbil Scheme☆50Updated this week
- Dr. Bayes☆84Updated 8 years ago
- Hetnets in Python (relocated from dhimmel/hetio)☆94Updated last year
- a structured interaction engine 🗜️ ⚗️☆472Updated last year
- The implementation of microKanren, a featherweight relational programming language☆309Updated 10 years ago
- The Road to Reality essay and newsletter source. A journey through computational physics, from eval/apply to the Einstein field equations…☆94Updated 3 weeks ago
- Data science tooling for Racket☆84Updated 5 years ago
- A typed, polyglot, functional language☆196Updated this week
- the Art of the Propagator☆50Updated 12 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆172Updated 3 years ago
- a history of Lisp's most notorious artifact, parentheses☆578Updated 7 months ago
- An embedded language for probabilistic programming and meta-programming.☆168Updated 2 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆399Updated 2 years ago
- APL Compiler targeting a typed array intermediate language☆211Updated 8 months ago
- YAP Development release☆14Updated 4 years ago
- 📓🍎An experimental blog written in Pollen / Racket☆80Updated 3 years ago
- GNU-Make-like utility for managing builds and complex workflows☆106Updated last year
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- The APL programming language (a subset thereof) compiling to Common Lisp.☆622Updated this week
- Engines, queries, and data for dynamic Datalog computation☆124Updated 3 years ago
- ☆219Updated this week
- Schema and generated objects for biolink data model and upper ontology☆196Updated this week
- INDRA (Integrated Network and Dynamical Reasoning Assembler) is an automated model assembly system interfacing with NLP systems and datab…☆188Updated last week
- Bringing Prolog to the masses.☆36Updated 3 years ago
- Awesome Lisp Companies☆613Updated this week