XmacsLabs / interactive-sicp
☆18Updated 5 months ago
Alternatives and similar repositories for interactive-sicp:
Users that are interested in interactive-sicp are comparing it to the libraries listed below
- Automate building of TeXmacs on windows using MSys2/Mingw-w32☆10Updated 2 years ago
- ☆45Updated 3 months ago
- A notional machine for the SMoL languages☆22Updated last year
- An abstract machine for analyzing Racket bytecode.☆29Updated 3 years ago
- A pattern match macro for chez-scheme☆18Updated 7 years ago
- ☆40Updated 9 months ago
- A functional fluent API generator☆34Updated 2 years ago
- Prototypes: Object Orientation, Functionally☆42Updated 5 months ago
- Hygienic Literate Programming for Chez Scheme☆44Updated 7 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆13Updated 12 years ago
- Useful things for Standard ML☆62Updated 4 months ago
- Goldfish Scheme / 金鱼Scheme☆51Updated this week
- The PGG Partial Evaluation System for Scheme 48☆17Updated 12 years ago
- Simple computer algebra system☆64Updated 2 months ago
- A Scheme to WAT/WASM compiler in spirit of SICP exercises 5.49-52☆18Updated last week
- A clone of DrRacket-style Unicode symbol input for Emacs☆16Updated 2 years ago
- Reader to enable embedding images in source files as text☆18Updated last month
- A column-oriented, dataframe implementation for Racket.☆17Updated 5 months ago
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago
- ☆12Updated 3 months ago
- Standard ML compiler based on typed intermediate languages.☆47Updated 10 years ago
- CMSC 430 Design and Implementation of Programming Languages☆48Updated 2 months ago
- ☆51Updated 2 years ago
- Parser for Emacs org-mode files☆31Updated last year
- A Racket Meta-Program Generator☆17Updated 4 years ago
- Deep learning library☆33Updated 2 months ago
- Analysis of Racket code base☆14Updated 4 years ago
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆29Updated 5 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 last week