rebcabin / kalman-foldingLinks
☆16Updated 6 years ago
Alternatives and similar repositories for kalman-folding
Users that are interested in kalman-folding are comparing it to the libraries listed below
Sorting:
- Funn: Functional Neural Networks in Haskell☆25Updated 6 years ago
- Numerical is the core library for Numerical Haskell☆138Updated last year
- Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)☆10Updated 5 years ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- Practical Deep Learning in Haskell now!☆52Updated 2 years ago
- QFeldspar: a QDSL front-end for MiniFeldspar☆14Updated 9 years ago
- Lean Tutorials☆46Updated 4 years ago
- Some operator abuse☆29Updated 7 years ago
- haskell bindings for blas and lapack☆49Updated 7 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 8 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 10 months ago
- Symbolic financial contract EDSL☆39Updated 4 years ago
- Elements of Group Theory☆15Updated 4 years ago
- HQuantLib, financial math in Haskell☆66Updated 7 months ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆57Updated 4 years ago
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆73Updated 5 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- A geometric algebra implementation in Haskell☆31Updated 4 years ago
- Invertible parsing for S-expressions☆34Updated 3 months ago
- A multi-method simulation library☆82Updated last year
- Auto-parallelizing Pure Functional Language☆27Updated 6 years ago
- Examples for the Accelerate language☆69Updated 4 years ago
- ☆9Updated 2 years ago
- Julia embedded in Haskell☆52Updated 7 months ago
- Efficient, high-level dynamic programming☆27Updated last year
- an optimizing curry compiler☆14Updated 2 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- Owl's Differential Equation Solvers☆35Updated 3 years ago
- A Parallel Haskell framework for particle-based Monte Carlo simulations☆13Updated 6 years ago