Alternatives and similar repositories for dmuac

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

• mew-cx / chaitin_lisp
  Runnable code from Chaitin's "The Limits of Mathematics (in C)"
  ☆18Updated 3 years ago
• racket / math
  ☆39Updated last month
• lang-party / Summer2022
  Lang Party 2022
  ☆25Updated 3 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆54Updated last year
• scheme-and-computer-science / library.readscheme.org
  Bibliography of Scheme-related Research
  ☆15Updated 6 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆49Updated this 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.
  ☆59Updated 10 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆17Updated 2 weeks ago
• ralsei / graphite
  A data visualization library for Racket.
  ☆38Updated last year
• rmculpepper / gamble
  Probabilistic Programming
  ☆43Updated 2 months ago
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated last year
• drym-org / qi
  An embeddable flow-oriented language.
  ☆72Updated 3 weeks ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated 2 months ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆52Updated last month
• panicz / master-thesis
  Data Structure Optimization for Functional Programs
  ☆34Updated 6 years ago
• alex-hhh / data-frame
  A data frame implementation for Racket
  ☆37Updated 2 months ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆30Updated 12 years ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆25Updated 2 years ago
• prologbyexample / code
  ☆31Updated 2 years ago
• alhassy / org-agda-mode
  An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.
  ☆20Updated 4 years ago
• david-christiansen / dr-racket-like-unicode
  A clone of DrRacket-style Unicode symbol input for Emacs
  ☆16Updated 3 years ago
• kiranandcode / rhombus-in-the-rough
  A 2D RPG implemented in the Rhombus Racket dialect
  ☆57Updated 2 years ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆86Updated 4 years ago
• AlexKnauth / debug
  a racket lang-extension for debugging, and a macro for inserting a debug-repl
  ☆36Updated 2 months ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 5 years ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆74Updated 6 months ago
• rain-1 / continuations-study-group
  ☆78Updated 6 years ago
• racket / parser-tools
  ☆15Updated last month
• namin / metamk
  Prolog-Style Meta-Interpreters in miniKanren
  ☆33Updated 9 months ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆38Updated 2 months ago