Alternatives and similar repositories for relational-interpreter-book-and-course

Users that are interested in relational-interpreter-book-and-course are comparing it to the libraries listed below

• webyrd / midoriKanren
  Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
  ☆19Updated 6 months ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years ago
• michaelballantyne / ee-lib
  ☆12Updated last year
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆39Updated 2 months ago
• webyrd / 2012-scheme-workshop-quines-paper-code
  Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Int…
  ☆15Updated 10 months ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆32Updated 13 years ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆74Updated 3 weeks ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆66Updated 2 years ago
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆139Updated last month
• harp-lab / slog-lang1
  Slog 1.0
  ☆46Updated last year
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆38Updated 3 years ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆66Updated 5 months ago
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆38Updated 7 years ago
• cedille / ial
  The Iowa Agda Library
  ☆53Updated 2 months ago
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated last year
• namin / metamk
  Prolog-Style Meta-Interpreters in miniKanren
  ☆33Updated 10 months ago
• mndrix / edcg
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆21Updated 7 years ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated last year
• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 7 years ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆28Updated last year
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆166Updated 11 months ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 8 months ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆58Updated 5 years ago
• stchang / macrotypes
  ☆138Updated 3 years ago
• wilbowma / cur
  A less devious proof assistant
  ☆227Updated 2 years ago
• Anniepoo / swiplchrtut
  Tutorial for the CHR system
  ☆16Updated 4 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆16Updated 7 months ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆24Updated 7 years ago
• Sintrastes / Montague
  A library for non-deterministically parsing natural language expressions into a structured form.
  ☆18Updated 2 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆41Updated 2 years ago