Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
☆116May 21, 2021Updated 4 years ago
Alternatives and similar repositories for sicm
Users that are interested in sicm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- (in progress) Racket port of the SICM scmutils library☆37May 1, 2020Updated 6 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆129Nov 11, 2025Updated 5 months ago
- Computer Algebra, Physics and Differential Geometry in Clojure.☆823Jun 18, 2025Updated 10 months ago
- Probabilistic data structures in Pharo Smalltalk.☆30May 14, 2019Updated 6 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆89Jun 12, 2017Updated 8 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Port of the 'MIT Scmutils' library to Chez Scheme.☆40Aug 29, 2024Updated last year
- The Emmy Computer Algebra System.☆480Jul 10, 2025Updated 9 months ago
- A ressurrected image processing library☆34Mar 18, 2020Updated 6 years ago
- The examples from "The Little MLer" in OCaml and ReasonML☆31Apr 14, 2020Updated 6 years ago
- Event-based simulation of elastic collisions between balls☆14May 27, 2020Updated 5 years ago
- Solutions to "Structure and Interpretation of Classical Mechanics"☆19Aug 17, 2023Updated 2 years ago
- Kodi's Hy utility functions and macros☆13Jan 11, 2026Updated 3 months ago
- A Clojure library providing client-side implementations of Clojure datastructures served by replicant-server.☆14Jul 15, 2024Updated last year
- ☆12Aug 21, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Quantities as first class objects, that is, an object that encapsulates a number with its unit.☆13Mar 17, 2026Updated last month
- A simple Finite State Machine library in Rust, define a couple of enums, construct a machine, define some transition behaviours and voila…☆15May 29, 2016Updated 9 years ago
- Drag-and-drop game elements to explore the Godot physics engine.☆11May 1, 2018Updated 8 years ago
- automatic differentiation library for common lisp☆21May 24, 2013Updated 12 years ago
- Modified from spacemacs-light☆13Jan 2, 2018Updated 8 years ago
- ☆97Feb 21, 2026Updated 2 months ago
- Uses Hierarchical Temporal Memory to predict the price of RLG based on historical data☆11Jun 2, 2015Updated 10 years ago
- Forward and Reverse Mode Automatic Differentiation (AD) in R6RS Scheme plus extensions to support nondeterministic and stochastic program…☆39Mar 25, 2016Updated 10 years ago
- An OpenType font format encoder & decoder written in OCaml☆20Apr 12, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆437Feb 8, 2024Updated 2 years ago
- SHA256 sentence: discover a SHA256 checksum that matches a sentence's description of hex digit words.☆19Apr 14, 2025Updated last year
- A mathematical foundation for Smalltalk-25☆20Apr 23, 2026Updated last week
- eshell is great but lacks a good manual, someone wrote one. This packages it.☆20Oct 24, 2014Updated 11 years ago
- Exercises and notes on Structure and Interpretation of Classical Mechanics.☆76Mar 22, 2022Updated 4 years ago
- Rust SDK for Rigetti Quantum Cloud Services (QCS)☆14Apr 22, 2026Updated last week
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Aug 1, 2024Updated last year
- NumLin: Linear Types for Linear Algebra☆23Jan 21, 2023Updated 3 years ago
- Calysto Hy, a Jupyter kernel for Hy using MetaKernel☆112Jul 13, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- HoTT Note-taking action☆25Mar 24, 2019Updated 7 years ago
- `@code_costs`: a variant of `@code_typed` with estimated costs☆13Sep 1, 2020Updated 5 years ago
- ☆58May 17, 2025Updated 11 months ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- A web REPL made with Ripley☆16Sep 13, 2024Updated last year
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19May 4, 2020Updated 6 years ago
- QR code encoder for OCaml☆36Feb 13, 2026Updated 2 months ago