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:
- Working through the SICP exercises in Racket and Swift☆26Updated 7 years ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆55Updated 3 months ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆157Updated last year
- ☆20Updated 3 years ago
- Summary of working through the exercises of the Little Schemer☆11Updated 5 years ago
- CMSC 430 Design and Implementation of Programming Languages☆51Updated 5 months ago
- Software Design by Example with JavaScript☆74Updated last year
- Web page for IU Compiler Course for Fall 2020☆132Updated 4 years ago
- Mystery Languages☆38Updated last year
- Public helper code for p423/p523 students (Racket)☆164Updated 5 months ago
- COMPLETE! My solutions to exercises in htdp-2ed (most of them)☆19Updated 5 years ago
- A SICP language for Racket.☆197Updated 11 months ago
- ☆27Updated 7 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of From Mathematics to Generic Programming☆24Updated 2 months ago
- My study guide for SICP☆126Updated 5 years ago
- Tools for a compilers course☆125Updated 2 months ago
- Study of the Wizard Book.☆64Updated last week
- Reading schedule and our library of pdfs☆24Updated 6 years ago
- My solutions to exercises from the book Essentials of Programming Languages.☆40Updated last month
- Lang Party 2022☆25Updated 2 years ago
- https://learnaifromscratch.github.io/☆11Updated last month
- Solutions to exercises from "Structure and Interpretation of Computer Programs" (SICP) by Abelson, Sussman and Sussman. A PDF version of …☆131Updated 5 years ago
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆17Updated last month
- A notional machine for the SMoL languages☆22Updated last year
- Structure and Interpretation of Computer Programs study notes with exercise solutions☆381Updated 3 years ago
- How to design programs☆33Updated 9 years ago
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆203Updated 9 months ago
- Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"☆72Updated 5 years ago
- ☆50Updated 2 years ago
- A curated list of awesome Category Theory resources.☆115Updated last month