rebcabin / kalman-folding
☆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
- Vector & affine spaces, linear maps, and derivatives☆47Updated 9 months ago
- Numerical is the core library for Numerical Haskell☆137Updated 10 months ago
- haskell bindings for blas and lapack☆49Updated 7 years ago
- A library for composable and effectful production, transformation and consumption of streams of data in Idris☆37Updated 7 years ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆57Updated 4 years ago
- Julia embedded in Haskell☆53Updated 4 months ago
- QFeldspar: a QDSL front-end for MiniFeldspar☆14Updated 9 years ago
- A minimal emacs configuration for haskell programming☆31Updated 2 years ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- Some numerical optimization methods implemented in Haskell☆47Updated 4 years ago
- your dynamic optimization buddy☆27Updated 5 years ago
- Python library using the Futhark C backend via CFFI☆24Updated 2 years ago
- Practical Deep Learning in Haskell now!☆51Updated 2 years ago
- A talk☆28Updated 4 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 7 years ago
- HQuantLib, financial math in Haskell☆66Updated 4 months ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- Symbolic financial contract EDSL☆38Updated 4 years ago
- Emacs bindings for hlint's --refactor option☆27Updated 6 years ago
- State-space estimation algorithms and models☆27Updated 8 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆93Updated 8 months ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- Invertible parsing for S-expressions☆34Updated last month
- Matrix operations in 100% pure Haskell☆33Updated last year
- Selective applicative functors laws and theorems☆14Updated 5 years ago
- Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)☆10Updated 5 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 10 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 3 years ago
- Keynote talk for Lambda Jam 2017 in Sydney☆20Updated 6 years ago