Kalmanfilter is a project mainly written in Haskell, it's free.

Kalman filter experiment with statically checked linear algebra