idontgetoutmuch / Kalman
Extended Kalman filtering in Haskell
☆23Updated 6 years ago
Alternatives and similar repositories for Kalman:
Users that are interested in Kalman are comparing it to the libraries listed below
- simple interface to ghc's simd vector support☆23Updated 9 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated 7 months ago
- Haskel binding for Eigen library. Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related a…☆23Updated 6 years ago
- A message-passing library, intended for simplifying network applications☆43Updated 7 years ago
- multiset haskell package☆19Updated last year
- your dynamic optimization buddy☆27Updated 5 years ago
- Haskell routes using dependent types☆10Updated 8 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 7 years ago
- Vector & affine spaces, linear maps, and derivatives☆47Updated 8 months ago
- Concurrency features for the Haskell machines package☆17Updated 3 years ago
- Haskell streaming library optimized for low CPU and GC overhead☆16Updated 6 years ago
- A collection of computational methods in science.☆12Updated 8 years ago
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Updated 8 years ago
- An append only list in a compact region☆25Updated 6 years ago
- Lens interface for your filesystem☆22Updated 4 years ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆25Updated 4 months ago
- Example on how to integrate Haskell and C++ library.☆13Updated 10 years ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆13Updated 4 months ago
- making data science easy and safe with data frames in haskell☆27Updated 7 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated last month
- ☆18Updated last year
- Agda-style equational reasoning in Haskell☆53Updated 3 weeks ago
- Quiver stream processing library☆15Updated 8 years ago
- Roundtrip allows the definition of bidirectional (de-)serialization specifications☆16Updated 6 months ago
- MPFR bindings for Haskell☆34Updated last year
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Learning about Haskell with Variational Autoencoders☆19Updated 5 years ago
- Transactional cache with configurable persistence☆46Updated 2 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Haskell numerical ODE solvers☆14Updated 7 years ago