Alternatives and similar repositories for aduni:

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

• 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 last week
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆48Updated 2 months ago
• lang-party / Summer2022
  Lang Party 2022
  ☆24Updated 2 years ago
• danielpi / SICP-Exercises
  Working through the SICP exercises in Racket and Swift
  ☆26Updated 7 years ago
• data-centric-computing / dcic-public
  Repository for (for now) filing bug reports about DCIC.
  ☆24Updated 2 years ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆22Updated last year
• Little-Languages / reading-club
  A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.
  ☆47Updated last week
• IUCompilerCourse / IU-P423-P523-E313-E513-Fall-2020
  Web page for IU Compiler Course for Fall 2020
  ☆131Updated 4 years ago
• AndrewMagerman / wizard-book-study
  ☆20Updated 2 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆109Updated last year
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 5 months ago
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆32Updated 4 months ago
• euhmeuh / rilouworld
  Decentralized game universe in which players can explore worlds made by others.
  ☆11Updated last year
• codereport / SICP-2020
  Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…
  ☆160Updated 8 months ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• mbutterick / pollen-tuftorial
  Pollen tutorial based on Tufte CSS
  ☆15Updated 3 years ago
• prathyvsh / the-little-schemer
  Summary of working through the exercises of the Little Schemer
  ☆11Updated 5 years ago
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆33Updated last year
• shriram / gradescope-racket
  Infrastructure to autograde Racket code on Gradescope
  ☆17Updated 2 weeks ago
• otherjoel / splitflap
  🔖⚛️ RSS / Atom feed generation library for Racket
  ☆22Updated 5 months ago
• hanleyc01 / rkttt
  ☆12Updated last year
• mrnugget / scheme_x86
  Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"
  ☆72Updated 5 years ago
• blanchette / logical_verification_2020
  Companion files for Logical Verification 2020–2021 at VU Amsterdam
  ☆96Updated 4 years ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆69Updated 2 weeks ago
• mflatt / zuo
  ☆40Updated 9 months ago
• danvk / Stanford-CS-242-Programming-Languages
  Repo for Stanford CS 242 Programming Languages Fall 2022 with Prof. Aikens
  ☆18Updated 8 months ago
• IUCompilerCourse / IU-Fall-2021
  Course web page for Fall 2021.
  ☆21Updated 3 years ago
• smlhelp / book
  deployment for smlhelp page
  ☆38Updated last year
• prathyvsh / htdp
  How to design programs
  ☆33Updated 9 years ago