cstrahan / aduniLinks
The ADUni course material, and extra info.
☆13Updated 13 years ago
Alternatives and similar repositories for aduni
Users that are interested in aduni are comparing it to the libraries listed below
Sorting:
- My study guide for SICP☆127Updated 5 years ago
- Study of the Wizard Book.☆67Updated 3 weeks ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆160Updated last year
- ☆20Updated 3 years ago
- A SICP language for Racket.☆199Updated last year
- Web page for IU Compiler Course for Fall 2020☆133Updated 4 years ago
- Summary of working through the exercises of the Little Schemer☆11Updated 5 years ago
- My solutions to exercises from the book Essentials of Programming Languages.☆40Updated 3 months ago
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆18Updated 4 months ago
- CMSC 430 Design and Implementation of Programming Languages☆51Updated 7 months ago
- My personal website☆97Updated this week
- Structure and Interpretation of Computer Programs study notes with exercise solutions☆384Updated 3 years ago
- Scripts for generating flashcards.☆41Updated 2 years ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆56Updated 5 months ago
- Exercises from The Little Schemer (4th Ed) by Daniel P. Friedman and Matthias Felleisen☆13Updated 8 years ago
- Repository for (for now) filing bug reports about DCIC.☆28Updated 2 years ago
- Working through the SICP exercises in Racket and Swift☆26Updated 7 years ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆47Updated 6 months ago
- Solutions to OCaml Programming☆86Updated this week
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆240Updated 11 months ago
- SICP in Guile & Emacs Lisp☆705Updated 3 years ago
- McLulang: The message is the language☆11Updated 11 months ago
- My blog, in all its statically-generated glory.☆111Updated last month
- Support for for students (Python)☆65Updated 2 months ago
- Examples of literate programming by Knuth☆37Updated last month
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆334Updated 5 years ago
- Solutions to exercises from: Essentials of Programming Languages: 3rd edition (http://www.eopl3.com/)☆51Updated 6 years ago
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆136Updated 7 years ago
- Tiny Programs: Rosetta code for implementations☆56Updated last year
- Awesome resources for learning about computery things while at (or not at) the Recurse Center☆29Updated 4 years ago