jathak / dart_schemeLinks
Online Scheme interpreter, formerly for 61A
☆46Updated 5 years ago
Alternatives and similar repositories for dart_scheme
Users that are interested in dart_scheme are comparing it to the libraries listed below
Sorting:
- A File Manager for DrRacket☆84Updated last year
- A SICP language for Racket.☆197Updated 11 months ago
- Public helper code for p423/p523 students (Racket)☆164Updated 5 months ago
- DrRacket plugins for better autocompletion☆65Updated 10 months ago
- ☆102Updated 2 weeks ago
- Web page for IU Compiler Course for Fall 2020☆132Updated 4 years ago
- My solutions to exercises from the book Essentials of Programming Languages.☆40Updated last month
- ☆125Updated last year
- ☆39Updated 3 weeks ago
- stex: stex to latex and latex to html converters and associated tools☆88Updated last year
- ☆40Updated 3 years ago
- Mirror of Software Foundations in PDF☆301Updated 4 years ago
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆132Updated 6 years ago
- Relational interpreter in miniKanren that can generate quines☆132Updated 10 years ago
- ☆78Updated 7 years ago
- DrRacket themes derived from base16-builder☆71Updated 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
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆126Updated 12 years ago
- ☆70Updated 2 weeks ago
- ☆221Updated this week
- Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.☆134Updated 10 years ago
- All of the exercises (and their solutions!) from the Berkeley textbook Simply Scheme.☆115Updated 7 years ago
- Modern Compiler Implementation in ML☆11Updated 8 years ago
- my solutions to EOPL3☆365Updated 6 years ago
- They contain so few lines of code, yet so few people get them right.☆38Updated 11 years ago
- All the ML code examples from the book "The Little MLer"☆87Updated 15 years ago
- ☆16Updated 5 years ago
- Solutions to exercises from: Essentials of Programming Languages: 3rd edition (http://www.eopl3.com/)☆51Updated 5 years ago
- CMSC 430 Design and Implementation of Programming Languages☆51Updated 5 months ago
- practice for SICP, the wizard book < Structure and Interpretation of Computer Programs >☆101Updated 5 years ago