chris-taylor / Classical-Mechanics
Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
☆88Updated 7 years ago
Alternatives and similar repositories for Classical-Mechanics:
Users that are interested in Classical-Mechanics are comparing it to the libraries listed below
- (in progress) Racket port of the SICM scmutils library☆34Updated 4 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 4 months ago
- Brent's PhD thesis.☆63Updated 8 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆69Updated 9 years ago
- Running the code you want to write as fast as the code you have to write☆140Updated 8 years ago
- A less devious proof assistant☆222Updated 2 years ago
- Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…☆139Updated 4 months ago
- Coordinate-free hypersurfaces as Haskell types☆40Updated last year
- Diagrams standard library☆139Updated last month
- A geometric algebra implementation in Haskell☆28Updated 4 years ago
- Numerical is the core library for Numerical Haskell☆137Updated 7 months ago
- Collection of Idris tests and demonstration programs☆190Updated 6 years ago
- An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …☆110Updated 5 years ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆56Updated 4 years ago
- Numerical computation in native Haskell☆90Updated 4 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- higher order dependently typed logic programing☆170Updated 6 years ago
- Summer school on programming in Agda☆68Updated last year
- haskell bindings for blas and lapack☆49Updated 6 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆159Updated 6 years ago
- Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).☆112Updated 3 months ago
- Cohesive type theory☆19Updated 3 years ago
- A very simple coq layer for spacemacs☆36Updated 5 years ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- TODO☆23Updated 9 years ago
- What I wish I knew when learning HoTT☆53Updated 5 years ago
- The Quantum IO Monad, implemented in Haskell☆101Updated 10 months ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 9 years ago