jathak / dart_scheme
Online Scheme interpreter, formerly for 61A
☆45Updated 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
- ☆95Updated 3 weeks ago
- Web page for IU Compiler Course for Fall 2020☆131Updated 4 years ago
- ☆212Updated this week
- A SICP language for Racket.☆197Updated 7 months ago
- Public helper code for p423/p523 students (Racket)☆161Updated 2 months ago
- Implementations of sublanguages of JavaScript, TypeScript, Scheme and Python☆71Updated this week
- ☆67Updated this week
- An Infinite Descent into Pure Mathematics☆42Updated 4 years ago
- https://openpal.github.io/TypeAndProof/☆99Updated 7 years ago
- Mirror of Software Foundations in PDF☆300Updated 4 years ago
- Student-run wiki for students interested in computer science at Cornell University☆92Updated last year
- DrRacket plugins for better autocompletion☆65Updated 7 months ago
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆133Updated 6 years ago
- All of the exercises (and their solutions!) from the Berkeley textbook Simply Scheme.☆114Updated 7 years ago
- ☆78Updated 6 years ago
- stex: stex to latex and latex to html converters and associated tools☆84Updated last year
- solutions for problems/puzzles from a variety of websites in fancy languages☆18Updated 13 years ago
- Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.☆133Updated 10 years ago
- An irrelevant project where I keep various code I wrote while learning☆169Updated last month
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆708Updated 3 years ago
- A File Manager for DrRacket☆84Updated last year
- Canonical miniKanren implementation☆354Updated 6 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆126Updated 12 years ago
- Relational interpreter in miniKanren that can generate quines☆131Updated 10 years ago
- ☆38Updated 3 months ago
- my solutions to EOPL3☆365Updated 6 years ago
- Solarized color theme for DrRacket☆55Updated 10 years ago
- A Scheme interpreter in Python☆14Updated 10 years ago
- They contain so few lines of code, yet so few people get them right.☆38Updated 11 years ago
- DrRacket themes derived from base16-builder☆70Updated 7 years ago