frogrocketlabs / sicm-scheme-exercisesLinks
Exercises and notes on Structure and Interpretation of Classical Mechanics.
☆70Updated 3 years ago
Alternatives and similar repositories for sicm-scheme-exercises
Users that are interested in sicm-scheme-exercises are comparing it to the libraries listed below
Sorting:
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆101Updated 4 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆125Updated last year
- Executable version of Functional Differential Geometry.☆35Updated 3 years ago
- (in progress) Racket port of the SICM scmutils library☆35Updated 5 years ago
- The Road to Reality essay and newsletter source. A journey through computational physics, from eval/apply to the Einstein field equations…☆96Updated 3 months ago
- Computer Algebra, Physics and Differential Geometry in Clojure.☆817Updated last month
- Executable version of Structure and Interpretation of Classical Mechanics.☆37Updated 3 years ago
- Jupyter kernel for Racket☆96Updated 2 months ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 8 years ago
- The Emmy Computer Algebra System.☆438Updated 3 weeks ago
- Machine Learning Toolkit accompanying The Little Learner by Daniel P. Friedman and Anurag Mendhekar☆247Updated 8 months ago
- Probabilistic Programming☆42Updated 2 weeks ago
- A specialised computer algebra system for topos theory.☆18Updated last year
- lisp-like syntax in julia☆235Updated last year
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Updated 7 years ago
- Online, interactive edition of the "Simply Logical" Prolog textbook☆154Updated 7 months ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- Solutions to "Structure and Interpretation of Classical Mechanics"☆19Updated last year
- Multi-pass compiler and runtime for probabilistic programming.☆43Updated 4 months ago
- Guide elucidating Lambda Calculus☆16Updated 3 years ago
- An embeddable flow-oriented language.☆72Updated 2 weeks ago
- Leibniz - a Digital Scientific Notation☆35Updated 3 months ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago
- ☆66Updated last year
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated last year
- A curated list of geometric algebra resources☆134Updated 5 years ago
- Probabilistic miniKanren☆63Updated 9 years ago