mstksg / hamilton
Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot.
☆139Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for hamilton
- Low-dimensional linear algebra primitives for Haskell.☆201Updated 3 weeks ago
- A black hole raytracer written in Haskell☆171Updated 3 years ago
- Diagrams standard library☆138Updated 2 weeks ago
- High performance, regular, shape polymorphic parallel arrays.☆137Updated 8 months ago
- Let GHC prove program equations for you☆145Updated 6 years ago
- The Haskell LaTeX library.☆199Updated last year
- Richard A. Eisenberg's PhD Dissertation☆207Updated 6 years ago
- Convert lambda expressions to CCC combinators☆146Updated 8 years ago
- Type-safe, type-level and stateless Haskell graphics framework☆109Updated 7 years ago
- Haskell binding to OpenCV-3.x☆154Updated last year
- Efficient Haskell Arrays featuring Parallel computation☆386Updated 2 months ago
- Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!☆208Updated 5 years ago
- GHC plugin that improves Haskell code's numerical stability☆191Updated 9 years ago
- A friendly IRC bot and apprentice coder, written in Haskell.☆164Updated 6 months ago
- Haskell tool to generate expressions from types☆101Updated 7 years ago
- Automatic Differentiation☆372Updated 3 weeks ago
- Hopefully verifiable code generation in GHC☆95Updated 7 years ago
- A utility for displaying the module dependencies of Haskell programs.☆179Updated 4 months ago
- ☆99Updated 6 years ago
- Collection of Idris tests and demonstration programs☆190Updated 6 years ago
- The home of the units Haskell package☆95Updated 8 months ago
- Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink☆298Updated 4 months ago
- Haskell bindings for Python's Matplotlib☆85Updated 7 months ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆181Updated 4 months ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆155Updated 3 years ago
- Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).☆102Updated 2 weeks ago
- Binary serialisation in the CBOR format☆190Updated 3 months ago
- Systematic concurrency testing meets Haskell.☆195Updated last month
- optics for Haskell with the most amazing type errors you've seen☆243Updated 4 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆158Updated 5 years ago