cstrahan / aduniLinks
The ADUni course material, and extra info.
☆14Updated 14 years ago
Alternatives and similar repositories for aduni
Users that are interested in aduni are comparing it to the libraries listed below
Sorting:
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆164Updated last year
- My study guide for SICP☆131Updated 5 years ago
- ☆20Updated 3 years ago
- A Modern CompSci Curriculum☆299Updated 4 months ago
- SICP in Guile & Emacs Lisp☆707Updated 3 years ago
- A SICP language for Racket.☆197Updated last year
- A catalog of code worth reading☆113Updated 8 years ago
- My blog, in all its statically-generated glory.☆113Updated last month
- Structure and Interpretation of Computer Programs study notes with exercise solutions☆396Updated 3 years ago
- List of resources about foundational knowledge for programmers (supposed to last a few decades)☆174Updated last month
- Web page for IU Compiler Course for Fall 2020☆132Updated 5 years ago
- Solutions to the exercises in "How to Design Programs, Second Edition" by Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shrira…☆13Updated 7 years ago
- CMSC 430 Design and Implementation of Programming Languages☆52Updated 2 weeks ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆137Updated 3 years ago
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆254Updated last year
- Scripts for generating flashcards.☆44Updated 2 years ago
- TAOCP - The Art Of Computer Programming Reading Group meetup schedule and meeting notes☆35Updated 4 years ago
- Problems and Projects from the legendary MIT 6.001 Purple Book.☆48Updated 10 years ago
- Learning computer networking through projects and readings☆141Updated last year
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆59Updated 9 months ago
- ☆400Updated 15 years ago
- A list of resources that cross the disciplines of Computer Science and Philosophy☆93Updated 8 months ago
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆20Updated 7 months ago
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Updated last year
- https://learnaifromscratch.github.io/☆16Updated 3 weeks ago
- Personal notes on my continuous progress in pursuing mastery of my craft.☆97Updated last year
- Berkeley cs61a Spring 2011 Computer Science Course☆121Updated 6 years ago
- Working through the SICP exercises in Racket and Swift☆26Updated 8 years ago
- XML sources of SICP and SICP JS, and support for generating Interactive SICP JS, PDF, e-book and comparison editions☆979Updated last week
- Resources for learning Category Theory for an enthusiast☆653Updated 2 years ago