tgvaughan / sicmLinks
Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
☆110Updated 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
- Source Codes for "A Pamphlet against R"☆100Updated 4 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆126Updated this week
- Bibliography of Scheme research (readscheme.org and beyond)☆166Updated 2 years ago
- Relational interpreter in miniKanren that can generate quines☆132Updated 10 years ago
- Data science tooling for Racket☆84Updated 6 years ago
- A practical guide to Racket macros☆257Updated 5 years ago
- Algebraic structures for untyped Racket☆78Updated last year
- Exercises and notes on Structure and Interpretation of Classical Mechanics.☆74Updated 3 years ago
- A binary interface let Chez Scheme use Python, Lua, Ruby etc's library☆195Updated 5 years ago
- A simple starting point for doing deep learning in Racket☆69Updated 5 years ago
- Canonical miniKanren implementation in Racket☆86Updated 4 years ago
- Jupyter kernel for Racket☆99Updated 5 months ago
- Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.☆208Updated 4 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆166Updated 8 years ago
- Simple computer algebra system☆65Updated 10 months ago
- Computer Algebra and Symbolic Computation for R6RS Scheme☆65Updated 2 years ago
- Probabilistic Programming☆43Updated 3 weeks ago
- miniKanren for Emacs☆113Updated 3 years ago
- 📓🍎An experimental blog written in Pollen / Racket☆79Updated 3 years ago
- nanopass compiler framework for Racket☆193Updated last year
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆164Updated 9 months ago
- the 7 gui project☆57Updated last year
- functional data structures for scheme☆136Updated 6 years ago
- Interpreter for a simple Lisp. Written in Prolog.☆151Updated 2 years ago
- A Python implementation for Racket☆150Updated 7 years ago
- Racket libraries for scientific computing☆18Updated 8 months ago
- ☆79Updated 6 years ago
- Executable version of Structure and Interpretation of Classical Mechanics.☆40Updated 3 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago