chris-taylor / Classical-Mechanics
Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
☆87Updated 7 years ago
Related projects: ⓘ
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated last week
- An Experiment in Haskell Symbolic Algebra☆71Updated 12 years ago
- Brent's PhD thesis.☆63Updated 8 years ago
- Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…☆139Updated last week
- Numerical is the core library for Numerical Haskell☆136Updated 2 months ago
- Running the code you want to write as fast as the code you have to write☆139Updated 7 years ago
- Diagrams standard library☆137Updated 3 weeks ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆157Updated 5 years ago
- haskell bindings for blas and lapack☆49Updated 6 years ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆56Updated 3 years ago
- Real number computation software☆120Updated 2 years ago
- An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …☆109Updated 5 years ago
- Summer school on programming in Agda☆67Updated last year
- Convert lambda expressions to CCC combinators☆146Updated 8 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆67Updated 9 years ago
- A less devious proof assistant☆220Updated last year
- High performance, regular, shape polymorphic parallel arrays.☆134Updated 6 months ago
- Collection of Idris tests and demonstration programs☆189Updated 6 years ago
- Julia embedded in Haskell☆53Updated 5 years ago
- A formalization of category theory in the Coq proof assistant.☆92Updated 3 years ago
- higher order dependently typed logic programing☆164Updated 6 years ago
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 7 years ago
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 6 years ago
- A blog about Coq☆46Updated 2 years ago
- Low-dimensional linear algebra primitives for Haskell.☆198Updated 2 months ago
- Numerical computation in native Haskell☆88Updated 4 years ago
- A very simple coq layer for spacemacs☆36Updated 5 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 8 years ago
- Implementation of Univalence in Cubical Sets☆144Updated 9 years ago