tgvaughan / sicm
Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
☆96Updated 3 years ago
Alternatives and similar repositories for sicm:
Users that are interested in sicm are comparing it to the libraries listed below
- (in progress) Racket port of the SICM scmutils library☆34Updated 4 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆123Updated 7 months ago
- A practical guide to Racket macros☆251Updated 4 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆161Updated 7 years ago
- Bibliography of Scheme research (readscheme.org and beyond)☆155Updated last year
- Source Codes for "A Pamphlet against R"☆99Updated 3 years ago
- ☆170Updated 6 years ago
- Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.☆207Updated 3 years ago
- miniKanren for Emacs☆112Updated 3 years ago
- nanopass compiler framework for Racket☆187Updated last year
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆126Updated 12 years ago
- A binary interface let Chez Scheme use Python, Lua, Ruby etc's library☆194Updated 4 years ago
- Computer Algebra and Symbolic Computation for R6RS Scheme☆64Updated 2 years ago
- LaTTe : a Laboratory for Type Theory experiments (in clojure)☆259Updated last year
- Algebraic structures for untyped Racket☆76Updated 7 months ago
- the 7 gui project☆55Updated last year
- A simple starting point for doing deep learning in Racket☆67Updated 5 years ago
- ☆213Updated this week
- Simple computer algebra system☆64Updated 2 months ago
- Lisp-Stat main system☆152Updated last month
- 📓🍎An experimental blog written in Pollen / Racket☆78Updated 3 years ago
- Writing Emacs plugin in OCaml☆257Updated 2 months ago
- 3-dimensional picts☆114Updated last year
- Computer Algebra, Physics and Differential Geometry in Clojure.☆804Updated 10 months ago
- functional data structures for scheme☆132Updated 5 years ago
- Executable version of Structure and Interpretation of Classical Mechanics.☆32Updated 3 years ago
- Programs from the book Lisp in Small Pieces, updated to work on modern schemes☆239Updated 4 years ago
- Algebraic data types in Common Lisp☆139Updated 6 months ago
- Matrix Algebra proGrams In Common Lisp.☆243Updated last month
- Canonical miniKanren implementation☆354Updated 6 years ago