Alternatives and similar repositories for dmuac

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

• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆53Updated last year
• rmculpepper / gamble
  Probabilistic Programming
  ☆42Updated last week
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated last week
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆57Updated 6 months ago
• namin / metamk
  Prolog-Style Meta-Interpreters in miniKanren
  ☆33Updated 5 months ago
• UniMath / Schools
  ☆88Updated 4 months ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆59Updated 6 years ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 4 years ago
• mew-cx / chaitin_lisp
  Runnable code from Chaitin's "The Limits of Mathematics (in C)"
  ☆18Updated 3 years ago
• benediktahrens / CT4P
  ☆34Updated last week
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆24Updated 2 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆58Updated 5 years ago
• rain-1 / continuations-study-group
  ☆79Updated 6 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆115Updated 8 years ago
• scheme-and-computer-science / library.readscheme.org
  Bibliography of Scheme-related Research
  ☆15Updated 6 years ago
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated last year
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• ralsei / graphite
  A data visualization library for Racket.
  ☆38Updated 9 months ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated 2 weeks ago
• lang-party / Summer2022
  Lang Party 2022
  ☆25Updated 2 years ago
• alhassy / org-agda-mode
  An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.
  ☆19Updated 3 years ago
• racket / math
  ☆39Updated 2 weeks ago
• haskell-lisp / yale-haskell
  HASKELL: Yale Haskell system written in Lisp
  ☆102Updated 11 years ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆73Updated 5 years ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated 3 months ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆18Updated 5 years ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 4 months ago
• xieyuheng / cat
  A categorical semantics library in Agda.
  ☆17Updated 5 years ago
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆128Updated last month
• lexi-lambda / functional
  Functional interfaces and datatypes for Racket
  ☆43Updated 4 years ago