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:
- ☆19Updated 3 years ago
- My study guide for SICP☆136Updated 5 years ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆166Updated last year
- CMSC 430 Design and Implementation of Programming Languages☆51Updated 2 months ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆61Updated 11 months ago
- Summary of working through the exercises of the Little Schemer☆12Updated 6 years ago
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Updated last year
- Exercises from The Little Schemer (4th Ed) by Daniel P. Friedman and Matthias Felleisen☆12Updated 9 years ago
- Solutions to the exercises in "How to Design Programs, Second Edition" by Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shrira…☆14Updated 7 years ago
- Web page for IU Compiler Course for Fall 2020☆132Updated 5 years ago
- A list of resources that cross the disciplines of Computer Science and Philosophy☆93Updated 10 months ago
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆257Updated last year
- A Modern CompSci Curriculum☆299Updated 3 weeks ago
- Working through the SICP exercises in Racket and Swift☆26Updated 8 years ago
- Reading schedule and our library of pdfs☆24Updated 6 years ago
- How to design programs☆34Updated 10 years ago
- A curated list of awesome Category Theory resources.☆128Updated 2 weeks ago
- Mystery Languages☆41Updated 2 years ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆48Updated 11 months ago
- ☆19Updated 4 years ago
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆334Updated 5 years ago
- A catalog of code worth reading☆117Updated 8 years ago
- More stable versions of some articles from my blog☆36Updated 9 months ago
- ☆400Updated 15 years ago
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆140Updated 7 years ago
- Study of the Wizard Book.☆75Updated 6 months ago
- Structure and Interpretation of Computer Programs study notes with exercise solutions☆402Updated 3 years ago
- Repository for (for now) filing bug reports about DCIC.☆30Updated 5 months ago
- List of future of programming projects☆371Updated last year
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago