Alternatives and similar repositories for dmuac

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

• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆47Updated this week
• mew-cx / chaitin_lisp
  Runnable code from Chaitin's "The Limits of Mathematics (in C)"
  ☆18Updated 3 years ago
• webyrd / scheme-primer
  Interactive Scheme Primer, written in Scheme.
  ☆22Updated 5 months ago
• webyrd / summer-scheming
  Summer Scheming!!!!!!
  ☆11Updated 5 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆52Updated last week
• rmculpepper / gamble
  Probabilistic Programming
  ☆43Updated last month
• caocao485 / awesome-racket-and-scheme
  awesome racket and scheme project
  ☆99Updated 2 years ago
• rain-1 / continuations-study-group
  ☆79Updated 6 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆37Updated last month
• ralsei / graphite
  A data visualization library for Racket.
  ☆38Updated last year
• scheme-and-computer-science / library.readscheme.org
  Bibliography of Scheme-related Research
  ☆15Updated 6 years ago
• 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.
  ☆58Updated 9 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated last week
• webyrd / bronze-to-gm-miniKanren
  From Bronze to GM in miniKanren!
  ☆13Updated 6 months ago
• harsman / dyalog-mode
  Emacs major mode for Dyalog APL
  ☆16Updated 2 years ago
• mighty-gerbils / gerbil-poo
  Prototype Object Orientation for Gerbil Scheme
  ☆24Updated 2 months ago
• lang-party / Summer2022
  Lang Party 2022
  ☆25Updated 3 years ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆24Updated 2 years ago
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated last year
• panicz / master-thesis
  Data Structure Optimization for Functional Programs
  ☆34Updated 6 years ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆71Updated last month
• dwwmmn / alloy-mode
  Emacs major mode for Alloy
  ☆13Updated 7 years ago
• Dyalog / MDAPL
  The de facto standard for people who are looking to learn Dyalog APL from a book. This updated version is a work in progress.
  ☆36Updated 3 years ago
• fosskers / org-mode
  Parser for Emacs org-mode files
  ☆36Updated last week
• AlexKnauth / debug
  a racket lang-extension for debugging, and a macro for inserting a debug-repl
  ☆36Updated last month
• samdphillips / rhombus-examples
  Some code in the Rhombus/Shrubbery prototype
  ☆12Updated 11 months ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated 6 months ago
• stylewarning / quantum-interpreter
  A tiny, self-contained, general-purpose quantum interpreter.
  ☆49Updated 2 years ago
• ralsei / sawzall
  A grammar of data manipulation for Racket.
  ☆20Updated 3 months ago
• namin / metamk
  Prolog-Style Meta-Interpreters in miniKanren
  ☆33Updated 8 months ago