SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

Yices as an Isabelle tactic

Hexadecimal Floats for Haskell

Formally prove properties of Haskell programs using SBV/SMT.

Sparse matrix linear equation solver, using the Conjugate Gradient algorithm

Incremental vi and emacs tags for haskell.

Convert to/from IEEE-754 HP/SP/DP formats

Solve systems of linear equations, using SMT solvers.

Control your Arduino board from Haskell, using the Firmata protocol