idontgetoutmuch / Kalman
Extended Kalman filtering in Haskell
☆23Updated 5 years ago
Related projects: ⓘ
- 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 5 years ago
- ☆25Updated this week
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 3 months ago
- your dynamic optimization buddy☆27Updated 4 years ago
- ☆11Updated 3 years ago
- Quiver stream processing library☆15Updated 7 years ago
- making data science easy and safe with data frames in haskell☆27Updated 7 years ago
- Deriving Storable instances using GHC.Generics☆15Updated 2 years ago
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Updated 7 years ago
- A collection of computational methods in science.☆12Updated 7 years ago
- Vector & affine spaces, linear maps, and derivatives☆45Updated last month
- Auto-parallelizing Pure Functional Language☆27Updated 5 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 7 years ago
- Model of baysig language in Haskell (minus estimate)☆15Updated 8 years ago
- ☆18Updated 2 years ago
- MPFR bindings for Haskell☆33Updated 11 months ago
- Traditional sparse linear algebra in Haskell☆12Updated 3 years ago
- DIY Markov Chains.☆23Updated 3 years ago
- Concurrency features for the Haskell machines package☆17Updated 2 years ago
- Fixed length vector for haskell☆21Updated 5 months ago
- An OS written in Idris (eventually...)☆17Updated 9 years ago
- ☆18Updated 8 months ago
- Lens interface for your filesystem☆22Updated 3 years ago
- Talk on generic parallel scan☆14Updated 7 years ago
- Haskell dynamic RTS loader☆13Updated 8 years ago
- Transactional cache with configurable persistence☆48Updated last year
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.☆14Updated 7 years ago