GaloisInc / estimatorLinks
State-space estimation algorithms and models
☆27Updated 9 years ago
Alternatives and similar repositories for estimator
Users that are interested in estimator are comparing it to the libraries listed below
Sorting:
- your dynamic optimization buddy☆27Updated 6 years ago
 - Plover is a language for matrix algebra on embedded systems.☆48Updated 4 years ago
 - Extended Kalman filtering in Haskell☆23Updated 7 years ago
 - Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)☆57Updated 3 years ago
 - Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 8 years ago
 - simple interface to ghc's simd vector support☆23Updated 10 years ago
 - Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated last year
 - Universal Register Machine implemented at the type-level of Haskell☆23Updated 9 years ago
 - Haskell bindings to ArrayFire☆60Updated 10 months ago
 - Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Updated 8 years ago
 - DIY Markov Chains.☆25Updated 11 months ago
 - A Haskell-only implementation of zlib / DEFLATE.☆31Updated 3 years ago
 - Some numerical optimization methods implemented in Haskell☆47Updated 5 years ago
 - A talk on type-generic FFT in Haskell☆46Updated 4 years ago
 - MPFR bindings for Haskell☆35Updated 2 years ago
 - A message-passing library, intended for simplifying network applications☆44Updated 7 years ago
 - An embedded probabilistic programming language.☆34Updated 8 years ago
 - making data science easy and safe with data frames in haskell☆28Updated 8 years ago
 - Experiments with haskell neural networks☆11Updated 10 years ago
 - Transactional cache with configurable persistence☆45Updated 2 years ago
 - Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 8 years ago
 - re-startable monad that recover the execution state from a log, and workflow patterns☆43Updated 9 years ago
 - Some useful control operators for looping☆47Updated 5 years ago
 - An embedded DSL for creating, composing, and using probability measures.☆42Updated 6 years ago
 - Dependently typed convolutional neural networks☆35Updated 8 years ago
 - A very fast Haskell library for generating high quality pseudo-random numbers.☆58Updated 9 months ago
 - ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Updated 6 years ago
 - Monad morphisms☆51Updated 3 weeks ago
 - Library and macros to simplify writing Haskell FFI code☆40Updated 2 years ago
 - haskell memory☆48Updated 2 years ago