Alternatives and similar repositories for aduni

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

• AndrewMagerman / wizard-book-study
  ☆20Updated 3 years ago
• abrantesasf / sicp-abrantes-study-guide
  My study guide for SICP
  ☆129Updated 5 years ago
• codereport / SICP-2020
  Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…
  ☆162Updated last year
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated this week
• sarabander / p2pu-sicp
  Solutions to exercises from "Structure and Interpretation of Computer Programs" (SICP) by Abelson, Sussman and Sussman. A PDF version of …
  ☆134Updated 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.
  ☆57Updated 6 months ago
• madvorak / fecssk
  Formalisms Every Computer Scientist Should Know (course at ISTA)
  ☆13Updated last year
• EFanZh / EOPL-Exercises
  My solutions to exercises from the book Essentials of Programming Languages.
  ☆40Updated 4 months ago
• willprice / little-schemer
  Exercises from The Little Schemer (4th Ed) by Daniel P. Friedman and Matthias Felleisen
  ☆13Updated 8 years ago
• ucsd-cse12-w21 / ucsd-cse12-w21.github.io
  ☆19Updated 4 years ago
• cs3110 / textbook-solutions
  Solutions to OCaml Programming
  ☆88Updated last month
• Little-Languages / reading-club
  A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.
  ☆47Updated 6 months ago
• functionalCS / curriculum
  A Modern CompSci Curriculum
  ☆301Updated last month
• prathyvsh / the-little-schemer
  Summary of working through the exercises of the Little Schemer
  ☆11Updated 5 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
• zamansky / awesome-cs-education
  ☆122Updated 4 years ago
• IUCompilerCourse / IU-P423-P523-E313-E513-Fall-2020
  Web page for IU Compiler Course for Fall 2020
  ☆133Updated 4 years ago
• mk12 / sicp
  Study of the Wizard Book.
  ☆68Updated last month
• pliba / kaminpy
  Interpreters from Kamin's PLIBA book, rewritten in Python 3
  ☆20Updated 4 years ago
• prathyvsh / htdp
  How to design programs
  ☆34Updated 9 years ago
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆243Updated last year
• geelon / type-theory
  Type Theory
  ☆24Updated 9 years ago
• psholtz / MIT-SICP
  Problems and Projects from the legendary MIT 6.001 Purple Book.
  ☆49Updated 10 years ago
• sicp-lang / sicp
  A SICP language for Racket.
  ☆198Updated last year
• ivanjovanovic / sicp
  Structure and Interpretation of Computer Programs study notes with exercise solutions
  ☆386Updated 3 years ago
• zv / SICP-guile
  SICP in Guile & Emacs Lisp
  ☆703Updated 3 years ago
• prathyvsh / knowledge-atlases
  Catalogue of portals that maps out roadmap for self learners
  ☆81Updated 2 years ago
• danielpi / SICP-Exercises
  Working through the SICP exercises in Racket and Swift
  ☆26Updated 7 years ago
• maebert / prolog_puzzles
  Prolog puzzles for fun and profit (mostly fun)
  ☆80Updated 4 years ago
• ablwr / my-recurse-center-syllabus
  updated regularly while attending Recurse Center in Spring 2 '18
  ☆103Updated 3 months ago