Alternatives and similar repositories for old-old-spd

Users that are interested in old-old-spd are comparing it to the libraries listed below

• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆84Updated 3 years ago
• shriram / gradescope-racket
  Infrastructure to autograde Racket code on Gradescope
  ☆17Updated 3 months ago
• mbutterick / aoc-racket
  moved to https://git.matthewbutterick.com/mbutterick/aoc-racket
  ☆36Updated 2 years ago
• otherjoel / tabloid
  📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!
  ☆93Updated 4 years ago
• exercism / racket
  Exercism exercises in Racket.
  ☆41Updated 2 weeks ago
• mflatt / plai-typed
  ☆51Updated 2 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆121Updated 12 years ago
• mflatt / plait
  ☆22Updated 2 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.
  ☆55Updated 2 months ago
• otherjoel / beeswax
  🐝🧇 Prototype template #lang for Pollen
  ☆11Updated 2 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆31Updated 12 years ago
• MarkP88 / racket-coin
  Simplified example cryptocurrency implementation in Racket
  ☆47Updated 4 years ago
• mbutterick / brag
  Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]
  ☆61Updated 3 years ago
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆64Updated last week
• niitsuma / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆17Updated 8 years ago
• yjqww6 / drcomplete
  DrRacket plugins for better autocompletion
  ☆65Updated 10 months ago
• soegaard / pyffi
  Use Python from Racket
  ☆30Updated 9 months ago
• melvinzhang / lambda-calculus-game
  ☆21Updated 3 years ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated this week
• racket / web-server
  ☆95Updated this week
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆70Updated last year
• webyrd / quines
  Relational interpreter in miniKanren that can generate quines
  ☆132Updated 10 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆32Updated last month
• euhmeuh / rilouworld
  Decentralized game universe in which players can explore worlds made by others.
  ☆11Updated 2 years ago
• GrantMatejka / rasm
  Racket to WebAssembly Compiler
  ☆34Updated 4 months ago
• stamourv / optimization-coach
  Optimization Coach Plug-In for DrRacket
  ☆20Updated this week
• ioannad / jeffrey
  Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.
  ☆27Updated 3 years ago
• lang-party / Summer2022
  Lang Party 2022
  ☆25Updated 2 years ago
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆132Updated 6 years ago