tgvaughan / sicmLinks
Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
☆101Updated 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"☆99Updated 3 years ago
- Probabilistic Programming☆42Updated last year
- Working through Structure and Interpretation of Classical Mechanics.☆124Updated last year
- Bibliography of Scheme research (readscheme.org and beyond)☆160Updated 2 years ago
- Data science tooling for Racket☆84Updated 5 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆164Updated 8 years ago
- Canonical miniKanren implementation in Racket☆86Updated 3 years ago
- A simple starting point for doing deep learning in Racket☆68Updated 5 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago
- Exercises and notes on Structure and Interpretation of Classical Mechanics.☆69Updated 3 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆158Updated 5 months ago
- Computer Algebra and Symbolic Computation for R6RS Scheme☆64Updated 2 years ago
- A language for producing art☆116Updated 5 years ago
- the 7 gui project☆56Updated last year
- Simple computer algebra system☆64Updated 6 months ago
- Racket libraries for scientific computing☆18Updated 4 months ago
- Algebraic structures for untyped Racket☆77Updated 11 months ago
- functional data structures for scheme☆135Updated 6 years ago
- nanopass compiler framework for Racket☆190Updated last year
- Relational interpreter in miniKanren that can generate quines☆132Updated 10 years ago
- An embeddable flow-oriented language.☆71Updated last week
- 📓🍎An experimental blog written in Pollen / Racket☆79Updated 3 years ago
- ☆223Updated last week
- ☆79Updated 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
- Examples of literate programming by Knuth☆37Updated 3 weeks ago
- Jupyter kernel for Racket☆96Updated last month
- Interpreter for a simple Lisp. Written in Prolog.☆148Updated 2 years ago
- Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.☆208Updated 3 years ago