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
- 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 6 years ago
- Quiver stream processing library☆15Updated 8 years ago
- MPFR bindings for Haskell☆34Updated last year
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Model of baysig language in Haskell (minus estimate)☆15Updated 8 years ago
- Transactional cache with configurable persistence☆46Updated last year
- Haskell dynamic RTS loader☆13Updated 8 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 9 months ago
- Haskell streaming library optimized for low CPU and GC overhead☆16Updated 6 years ago
- ☆18Updated 2 years ago
- A collection of computational methods in science.☆12Updated 8 years ago
- your dynamic optimization buddy☆27Updated 5 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- A Haskell library supporting flexible, dynamic file-based configuration.☆16Updated 5 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 7 years ago
- phantom types☆38Updated last month
- Haskell routes using dependent types☆10Updated 8 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- making data science easy and safe with data frames in haskell☆27Updated 7 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated 6 months ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Updated 3 years ago
- Plover is a language for matrix algebra on embedded systems.☆47Updated 3 years ago
- Interval Arithmetic☆27Updated last month
- Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.☆14Updated 8 years ago
- haskell memory☆48Updated last year
- Deriving Storable instances using GHC.Generics☆16Updated 2 years ago
- Lens interface for your filesystem☆22Updated 4 years ago