GitHub repository: GaloisInc/estimator
Primary language: Haskell
Description: State-space estimation algorithms and models