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
- An Ivory library inspired by Atom☆14Updated 8 years 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
- your dynamic optimization buddy☆27Updated 5 years ago
- Haskell numerical ODE solvers☆14Updated 7 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Transactional cache with configurable persistence☆46Updated last year
- making data science easy and safe with data frames in haskell☆27Updated 7 years ago
- Auto-parallelizing Pure Functional Language☆27Updated 5 years ago
- A message-passing library, intended for simplifying network applications☆43Updated 6 years ago
- A collection of computational methods in science.☆12Updated 8 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated last week
- DIY Markov Chains.☆25Updated 4 months ago
- Queues with verified and unverified versions☆9Updated 7 years ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆25Updated 3 months ago
- Model of baysig language in Haskell (minus estimate)☆15Updated 8 years ago
- Deserialize PostgreSQL rows to Haskell records by matching column names and record field names☆13Updated 7 years ago
- Haskell dynamic RTS loader☆13Updated 8 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 9 months ago
- A categorical framework for circuit construction☆31Updated 8 years ago
- Lens interface for your filesystem☆22Updated 4 years ago
- Unpinned byte arrays in GHC haskell☆22Updated 6 years ago
- phantom types☆38Updated last month
- Quiver stream processing library☆15Updated 8 years ago
- Lenses and Traversals for Aeson, based on Microlens.☆14Updated 9 months ago
- A Zoo of Haskell Newtype Wrappers☆14Updated 4 years ago
- An OS written in Idris (eventually...)☆19Updated 10 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- Plover is a language for matrix algebra on embedded systems.☆47Updated 3 years ago