hnarayanan / sicmLinks
Working through Structure and Interpretation of Classical Mechanics.
☆125Updated last year
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
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆101Updated 4 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 8 years ago
- Exercises and notes on Structure and Interpretation of Classical Mechanics.☆70Updated 3 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- A Maxima kernel for Jupyter, based on CL-Jupyter (Common Lisp kernel)☆196Updated 7 months ago
- Probabilistic Programming☆42Updated 2 weeks ago
- A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…☆181Updated 2 years ago
- Source Codes for "A Pamphlet against R"☆100Updated 3 years ago
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆45Updated 11 years ago
- Running the code you want to write as fast as the code you have to write☆140Updated 8 years ago
- Dr. Bayes☆84Updated 9 years ago
- ☆30Updated 7 years ago
- A tool for manipulating bibtex files as s-expressions☆33Updated 6 years ago
- Latex source for geometric algebra and physics notes.☆37Updated this week
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Updated 7 years ago
- Write LaTeX-formatted documents using J evaluation☆18Updated 9 years ago
- A curated list of geometric algebra resources☆134Updated 5 years ago
- Numerical Algorithms in C☆84Updated 13 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 10 months ago
- A collection of Kanren implementations in Julia☆24Updated 8 years ago
- The full source code and hyperlinked PDF of the book "Linear Algebra via Exterior Products" (2010)☆108Updated 2 years ago
- Riemann Hypothesis book☆75Updated 7 years ago
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago
- phd thesis document source☆167Updated 9 years ago
- Images and text transcripts of the correspondence between John Backus and Edsger Dijkstra, 1978-1979. Ref: https://medium.com/@acidflask/…☆110Updated 9 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- ☆42Updated 4 years ago
- Some operator abuse☆29Updated 7 years ago