tgvaughan / sicmLinks
Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
☆100Updated 4 years ago
Alternatives and similar repositories for sicm
Users that are interested in sicm are comparing it to the libraries listed below
Sorting:
- (in progress) Racket port of the SICM scmutils library☆35Updated 5 years ago
- Bibliography of Scheme research (readscheme.org and beyond)☆158Updated 2 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆163Updated 8 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆124Updated 10 months ago
- Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.☆207Updated 3 years ago
- The implementation of microKanren, a featherweight relational programming language☆310Updated 10 years ago
- Relational interpreter in miniKanren that can generate quines☆132Updated 10 years ago
- functional data structures for scheme☆135Updated 6 years ago
- A practical guide to Racket macros☆252Updated 5 years ago
- A simple starting point for doing deep learning in Racket☆68Updated 5 years ago
- nanopass compiler framework for Racket☆189Updated last year
- A binary interface let Chez Scheme use Python, Lua, Ruby etc's library☆194Updated 5 years ago
- Interpreter for a simple Lisp. Written in Prolog.☆148Updated 2 years ago
- Exercises and notes on Structure and Interpretation of Classical Mechanics.☆68Updated 3 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆126Updated 12 years ago
- Matrix Algebra proGrams In Common Lisp.☆246Updated 4 months ago
- the 7 gui project☆56Updated last year
- ☆170Updated 7 years ago
- Doug Hoyte's "Production" version of macros from Let Over Lambda, ready for ASDF and Quicklisp.☆143Updated last year
- Programs from the book Lisp in Small Pieces, updated to work on modern schemes☆244Updated 4 years ago
- Simple computer algebra system☆64Updated 5 months ago
- ☆38Updated 3 weeks ago
- miniKanren for Emacs☆113Updated 3 years ago
- ☆58Updated 8 years ago
- The Road to Reality essay and newsletter source. A journey through computational physics, from eval/apply to the Einstein field equations…☆94Updated last month
- An embeddable flow-oriented language.☆71Updated this week
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆158Updated 4 months ago
- Canonical miniKanren implementation☆357Updated 7 years ago
- ☆221Updated this week
- ☆79Updated 6 years ago