Alternatives and similar repositories for aduni

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

• codereport / SICP-2020
  Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…
  ☆164Updated last year
• abrantesasf / sicp-abrantes-study-guide
  My study guide for SICP
  ☆135Updated 5 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆52Updated last month
• AndrewMagerman / wizard-book-study
  ☆19Updated 3 years ago
• IUCompilerCourse / IU-P423-P523-E313-E513-Fall-2020
  Web page for IU Compiler Course for Fall 2020
  ☆132Updated 5 years ago
• mk12 / sicp
  Study of the Wizard Book.
  ☆75Updated 5 months ago
• sicp-lang / sicp
  A SICP language for Racket.
  ☆198Updated last year
• 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
• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆169Updated last year
• darius / code-canon
  A catalog of code worth reading
  ☆115Updated 8 years ago
• EFanZh / EOPL-Exercises
  My solutions to exercises from the book Essentials of Programming Languages.
  ☆40Updated 8 months ago
• jonathanichikawa / for-all-x
  Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa
  ☆20Updated 8 months ago
• MarcusPlieninger / HtDP_2e_solutions
  Solutions to the exercises in "How to Design Programs, Second Edition" by Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shrira…
  ☆13Updated 7 years ago
• jeanqasaur / dsl-syllabus-fall-2016
  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
  ☆216Updated 6 years ago
• willprice / little-schemer
  Exercises from The Little Schemer (4th Ed) by Daniel P. Friedman and Matthias Felleisen
  ☆12Updated 9 years ago
• data-centric-computing / dcic-public
  Repository for (for now) filing bug reports about DCIC.
  ☆30Updated 4 months ago
• functionalCS / curriculum
  A Modern CompSci Curriculum
  ☆299Updated 5 months ago
• prathyvsh / the-little-schemer
  Summary of working through the exercises of the Little Schemer
  ☆12Updated 5 years ago
• source-academy / js-slang
  Implementations of sublanguages of JavaScript, TypeScript, Scheme and Python
  ☆78Updated this week
• adaliu-gh / htdp
  COMPLETE! My solutions to exercises in htdp-2ed (most of them)
  ☆19Updated 6 years ago
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆32Updated 2 years ago
• source-academy / sicp
  XML sources of SICP and SICP JS, and support for generating Interactive SICP JS, PDF, e-book and comparison editions
  ☆985Updated last week
• psholtz / MIT-SICP
  Problems and Projects from the legendary MIT 6.001 Purple Book.
  ☆48Updated 10 years ago
• jeanqasaur / learn-programming-languages
  Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
  ☆335Updated 5 years ago
• munificent / journal
  My blog, in all its statically-generated glory.
  ☆114Updated 2 months ago
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆255Updated last year
• shriram / mystery-languages
  Mystery Languages
  ☆41Updated 2 years ago
• pel-daniel / mind-bicycles
  List of future of programming projects
  ☆371Updated last year
• zv / SICP-guile
  SICP in Guile & Emacs Lisp
  ☆709Updated 3 years ago
• zhengguan / 15150-1
  ☆27Updated 8 years ago