cstrahan / aduniLinks
The ADUni course material, and extra info.
☆13Updated 14 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☆129Updated 5 years ago
- ☆20Updated 3 years ago
- Web page for IU Compiler Course for Fall 2020☆132Updated 4 years ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆162Updated last year
- My solutions to exercises from the book Essentials of Programming Languages.☆40Updated 6 months ago
- Summary of working through the exercises of the Little Schemer☆11Updated 5 years ago
- My blog, in all its statically-generated glory.☆113Updated 3 weeks ago
- A SICP language for Racket.☆199Updated last year
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- A Modern CompSci Curriculum☆299Updated 3 months ago
- Structure and Interpretation of Computer Programs study notes with exercise solutions☆388Updated 3 years ago
- CMSC 430 Design and Implementation of Programming Languages☆52Updated last week
- Exercises from The Little Schemer (4th Ed) by Daniel P. Friedman and Matthias Felleisen☆13Updated 9 years ago
- COMPLETE! My solutions to exercises in htdp-2ed (most of them)☆19Updated 5 years ago
- SICP in Guile & Emacs Lisp☆705Updated 3 years ago
- Public helper code for p423/p523 students (Racket)☆168Updated last month
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆19Updated 6 months ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆58Updated 8 months ago
- Solutions to OCaml Programming☆90Updated last month
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆335Updated 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
- Working through the SICP exercises in Racket and Swift☆26Updated 8 years ago
- Problems and Projects from the legendary MIT 6.001 Purple Book.☆49Updated 10 years ago
- Scripts for generating flashcards.☆44Updated 2 years ago
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆250Updated last year
- How to design programs☆34Updated 9 years ago
- Machine Learning Toolkit accompanying The Little Learner by Daniel P. Friedman and Anurag Mendhekar☆256Updated 11 months ago
- Catalog of visual lambda calculi☆158Updated 3 months ago
- List of future of programming projects☆370Updated last year
- XML sources of SICP and SICP JS, and support for generating Interactive SICP JS, PDF, e-book and comparison editions☆967Updated last week