Alternatives and similar repositories for mediKanren:

Users that are interested in mediKanren are comparing it to the libraries listed below

• prathyvsh / formal-systems-in-biology
  Application of formal systems to model biological systems
  ☆472Updated last year
• Web-Prolog / swi-web-prolog
  A proof-of-concept SWI-Prolog implementation of Web Prolog
  ☆188Updated 4 years ago
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆129Updated this week
• evoldoers / biomake
  GNU-Make-like utility for managing builds and complex workflows
  ☆104Updated last year
• ntoronto / drbayes
  Dr. Bayes
  ☆84Updated 8 years ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆34Updated 12 years ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆120Updated last month
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• cdglabs / prolog-viz
  The best Prolog visualizer
  ☆85Updated 2 years ago
• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆169Updated 2 years ago
• CategoricalData / CQL
  Categorical Query Language IDE
  ☆303Updated last week
• miniKanren / miniKanren
  Canonical miniKanren implementation
  ☆355Updated 6 years ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆46Updated last year
• chrovis / cljam
  A DNA Sequence Alignment/Map (SAM) library for Clojure
  ☆89Updated last week
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆77Updated 8 months ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆266Updated 5 months ago
• namin / propagators
  the Art of the Propagator
  ☆50Updated 12 years ago
• jasonhemann / microKanren
  The implementation of microKanren, a featherweight relational programming language
  ☆308Updated 10 years ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆196Updated last week
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆23Updated 6 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆394Updated 2 years ago
• latte-central / LaTTe
  LaTTe : a Laboratory for Type Theory experiments (in clojure)
  ☆259Updated last week
• gregfjohnson / aplette
  This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…
  ☆89Updated last year
• maebert / prolog_puzzles
  Prolog puzzles for fun and profit (mostly fun)
  ☆74Updated 4 years ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆97Updated 10 months ago
• biolink / biolink-model
  Schema and generated objects for biolink data model and upper ontology
  ☆188Updated this week
• jdormit / sicp-logic
  A Clojure implementation of the logic programming language from chapter 4 of SICP
  ☆68Updated 5 years ago
• n3mo / data-science
  Data science tooling for Racket
  ☆84Updated 5 years ago
• Kappa-Dev / KappaTools
  Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
  ☆115Updated this week