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 / 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…
  ☆14Updated 4 months ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years ago
• math-comp / Coq-Combi
  Algebraic Combinatorics in Coq
  ☆38Updated 5 months ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆32Updated 3 weeks ago
• webyrd / midoriKanren
  Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
  ☆17Updated last month
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆16Updated last month
• namin / metamk
  Prolog-Style Meta-Interpreters in miniKanren
  ☆33Updated 4 months ago
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated last year
• Anniepoo / swiplchrtut
  Tutorial for the CHR system
  ☆16Updated 4 years ago
• nick8325 / equinox
  Paradox model finder and equinox theorem prover for first-order logic.
  ☆20Updated last year
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆31Updated 12 years ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆22Updated 5 years ago
• khayyamsaleem / gradual-typing
  an implementation of gradual typing in mit-scheme
  ☆9Updated 4 years ago
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆54Updated last year
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆15Updated 2 months ago
• zydeco-lang / fiddle
  A dynamically-typed CBPV language embedded in Racket
  ☆39Updated last year
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• rocq-community / gaia
  Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
  ☆30Updated 3 weeks ago
• SMLFamily / The-Mechanization-of-Standard-ML
  The Mechanization of Standard ML
  ☆73Updated 3 years ago
• avigad / arwm
  Automated Reasoning for the Working Mathematician
  ☆11Updated 5 years ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆71Updated 2 weeks ago
• jaalonso / Lecturas_GLC
  Readings on computational logic, interactive theorem proving and functional programming.
  ☆78Updated this week
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆24Updated 2 years ago
• gregr / dKanren
  miniKanren variant with a functional syntax, expressing disjunction via pattern matching
  ☆17Updated 5 years ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆52Updated last week
• jsiek / B522-PL-Foundations
  Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
  ☆53Updated 5 years ago
• cedille / ial
  The Iowa Agda Library
  ☆48Updated last month