Alternatives and similar repositories for mediKanren

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

• Web-Prolog / swi-web-prolog
  A proof-of-concept SWI-Prolog implementation of Web Prolog
  ☆190Updated 4 years ago
• miniKanren / miniKanren
  Canonical miniKanren implementation
  ☆357Updated 7 years ago
• latte-central / LaTTe
  LaTTe : a Laboratory for Type Theory experiments (in clojure)
  ☆259Updated 2 months ago
• ntoronto / drbayes
  Dr. Bayes
  ☆84Updated 8 years ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆127Updated 3 months ago
• CategoricalData / CQL
  Categorical Query Language IDE
  ☆305Updated last week
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆35Updated 12 years ago
• probcomp / metaprob
  An embedded language for probabilistic programming and meta-programming.
  ☆168Updated 2 years ago
• jasonhemann / microKanren
  The implementation of microKanren, a featherweight relational programming language
  ☆310Updated 10 years ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆399Updated 2 years ago
• tgvaughan / sicm
  Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
  ☆100Updated 4 years ago
• shaunlebron / history-of-lisp-parens
  a history of Lisp's most notorious artifact, parentheses
  ☆579Updated 8 months ago
• webyrd / Barliman
  Prototype smart text editor
  ☆1,064Updated 2 months ago
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆132Updated 6 years ago
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆132Updated last month
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆158Updated 4 months ago
• stchang / macrotypes
  ☆137Updated 3 years ago
• CompSciCabal / SMRTYPRTY
  We read computer science books for fun. This is where the secret notes live.
  ☆78Updated 3 years ago
• racket / scribble
  ☆221Updated this week
• namin / propagators
  the Art of the Propagator
  ☆51Updated 12 years ago
• readevalprintlove / black
  Kenichi Asai's reflective programming language Black
  ☆197Updated 3 years ago
• mentat-collective / road-to-reality
  The Road to Reality essay and newsletter source. A journey through computational physics, from eval/apply to the Einstein field equations…
  ☆94Updated last month
• the-little-prover / j-bob
  ☆432Updated last year
• jamii / imp
  Various experiments in relational programming
  ☆272Updated 3 years ago
• jrm-code-project / LISP-Machine
  Archive of LISP Machine, Inc.
  ☆269Updated 4 years ago
• namin / logically
  explorations in core.logic
  ☆118Updated 11 months ago
• webyrd / miniKanren-with-symbolic-constraints
  Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
  ☆163Updated 8 years ago
• chrovis / cljam
  A DNA Sequence Alignment/Map (SAM) library for Clojure
  ☆91Updated 2 months ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆213Updated 9 months ago
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆282Updated 3 months ago