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
- A collection of computational methods in science.☆12Updated 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
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- A Haskell library supporting flexible, dynamic file-based configuration.☆16Updated 5 years ago
- Model of baysig language in Haskell (minus estimate)☆15Updated 8 years ago
- Plover is a language for matrix algebra on embedded systems.☆47Updated 3 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 8 months ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 8 months ago
- your dynamic optimization buddy☆27Updated 5 years ago
- DIY Markov Chains.☆25Updated 3 months ago
- making data science easy and safe with data frames in haskell☆27Updated 7 years ago
- Lens interface for your filesystem☆22Updated 4 years ago
- A message-passing library, intended for simplifying network applications☆43Updated 6 years ago
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Updated 7 years ago
- Auto-parallelizing Pure Functional Language☆27Updated 5 years ago
- Haskell dynamic RTS loader☆13Updated 8 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- Haskell streaming library optimized for low CPU and GC overhead☆16Updated 6 years ago
- Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.☆14Updated 8 years ago
- Transactional cache with configurable persistence☆47Updated last year
- multiset haskell package☆19Updated last year
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Updated last year
- Haskell routes using dependent types☆10Updated 8 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Updated 6 years ago
- A generator for JSON Schema from Algebraic Data Type in Haskell.☆12Updated 5 years ago
- phantom types☆38Updated 2 weeks ago
- ☆11Updated 3 years ago
- Interval Arithmetic☆27Updated 3 weeks ago