webyrd / mediKanren

Related projects ⓘ

Alternatives and complementary repositories for mediKanren

• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆34Updated 12 years ago
• ntoronto / drbayes
  Dr. Bayes
  ☆83Updated 8 years ago
• latte-central / LaTTe
  LaTTe : a Laboratory for Type Theory experiments (in clojure)
  ☆256Updated 11 months ago
• tgvaughan / sicm
  Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
  ☆91Updated 3 years ago
• namin / propagators
  the Art of the Propagator
  ☆50Updated 12 years ago
• probcomp / metaprob
  An embedded language for probabilistic programming and meta-programming.
  ☆168Updated 2 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆261Updated last month
• Web-Prolog / swi-web-prolog
  A proof-of-concept SWI-Prolog implementation of Web Prolog
  ☆186Updated 3 years ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆102Updated 3 months ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆43Updated 9 months ago
• miniKanren / miniKanren
  Canonical miniKanren implementation
  ☆351Updated 6 years ago
• jdormit / sicp-logic
  A Clojure implementation of the logic programming language from chapter 4 of SICP
  ☆68Updated 5 years ago
• namin / staged-miniKanren
  staged relational interpreters: running with holes, faster
  ☆125Updated this week
• namin / logically
  explorations in core.logic
  ☆115Updated 5 months ago
• themetaschemer / malt
  Machine Learning Toolkit accompanying The Little Learner by Daniel P. Friedman and Anurag Mendhekar
  ☆216Updated last week
• jasonhemann / microKanren
  The implementation of microKanren, a featherweight relational programming language
  ☆307Updated 10 years ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆201Updated 3 years ago
• neil-lindquist / linear-programming
  A Common Lisp library for solving linear programming problems
  ☆109Updated 11 months ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆75Updated 4 months ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆155Updated 3 weeks ago
• harc / nl-datalog
  Natural Language Datalog
  ☆127Updated 6 years ago
• the-little-prover / j-bob
  ☆420Updated 9 months ago
• schemedoc / bibliography
  Bibliography of Scheme research (readscheme.org and beyond)
  ☆150Updated last year
• maebert / prolog_puzzles
  Prolog puzzles for fun and profit (mostly fun)
  ☆69Updated 4 years ago
• racket / scribble
  ☆202Updated this week
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆291Updated 3 weeks ago
• Viasat / salt
  ☆189Updated 5 years ago
• readevalprintlove / black
  Kenichi Asai's reflective programming language Black
  ☆195Updated 2 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆212Updated 2 months ago