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
  ☆18Updated 2 months ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years 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…
  ☆14Updated 5 months ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆66Updated last month
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆31Updated 13 years ago
• michaelballantyne / ee-lib
  ☆12Updated last year
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆53Updated last year
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆32Updated 3 weeks ago
• EngineeringSoftware / roosterize
  Tool for suggesting lemma names in Coq verification projects
  ☆21Updated 2 years ago
• arthuraa / poleiro
  A blog about Coq
  ☆46Updated 3 years ago
• zydeco-lang / fiddle
  A dynamically-typed CBPV language embedded in Racket
  ☆39Updated last year
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆57Updated 4 years ago
• math-comp / Coq-Combi
  Algebraic Combinatorics in Coq
  ☆38Updated 7 months ago
• felixwellen / synthetic-geometry
  Synthetic geometry. Probably mostly algebraic geometry.
  ☆24Updated last year
• JacquesCarette / QuantumPi
  Code repository for our work on Quantum Pi
  ☆10Updated last year
• UniMath / Schools
  ☆88Updated 4 months ago
• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 7 years ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 4 months ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆91Updated 11 months ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆56Updated 10 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• choener / ADPfusion
  Efficient, high-level dynamic programming
  ☆27Updated 2 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆20Updated 9 years ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆19Updated last month
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆38Updated 3 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆58Updated 5 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆75Updated last year
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆53Updated last month
• Anniepoo / swiplchrtut
  Tutorial for the CHR system
  ☆16Updated 4 years ago