mentat-collective / sicm-scheme-exercises
Exercises and notes on Structure and Interpretation of Classical Mechanics.
☆67Updated 2 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
- Executable version of Functional Differential Geometry.☆33Updated 2 years ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆98Updated 3 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 year
- Executable version of Structure and Interpretation of Classical Mechanics.☆34Updated 3 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆123Updated 8 months ago
- Computer Algebra, Physics and Differential Geometry in Clojure.☆806Updated last year
- (in progress) Racket port of the SICM scmutils library☆35Updated 4 years ago
- Multi-pass compiler and runtime for probabilistic programming.☆43Updated last week
- Resources for making sense of topology and its concepts☆17Updated 4 years ago
- Solutions to "Structure and Interpretation of Classical Mechanics"☆19Updated last year
- The Principia Rewrite☆214Updated last month
- ☆30Updated 7 years ago
- An embeddable flow-oriented language.☆69Updated 2 weeks ago
- A curated list of awesome Category Theory resources.☆114Updated last year
- The Emmy Computer Algebra System.☆421Updated 4 months ago
- A repository of user contributed content for TeXmacs☆54Updated 2 months ago
- A specialised computer algebra system for topos theory.☆18Updated 8 months ago
- High-performance symbolic, 2D and 3D visual extensions to the Emmy computer algebra system.☆46Updated 9 months ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 7 years ago
- Thoughts on adjoint, norm and such.☆169Updated 2 years ago
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆45Updated 10 years ago
- An interface between Clojure and Wolfram Language (the language of Mathematica)☆75Updated last month
- Andrej Bauer's blog "Mathematics and Computation"☆51Updated last year
- Stalin∇, a brutally optimizing compiler for the VLAD language☆75Updated 7 years ago
- Leibniz - a Digital Scientific Notation☆33Updated 2 months ago
- Online, interactive edition of the "Simply Logical" Prolog textbook☆135Updated 3 months ago
- Resource for the applied category theory Munich reading group☆21Updated 3 years ago
- A simple LaTex class for Zettelkasten.☆24Updated 3 years ago
- Probabilistic Programming☆41Updated last year
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆27Updated last week