Pinned Loading

1. sbv sbv Public

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

   Haskell 243 34

2. hArduino hArduino Public

   Control your Arduino board from Haskell, using the Firmata protocol

   Haskell 72 8

3. sbvPlugin sbvPlugin Public

   Formally prove properties of Haskell programs using SBV/SMT.

   Haskell 44 7

4. conjugateGradient conjugateGradient Public

   Sparse matrix linear equation solver, using the Conjugate Gradient algorithm

   Haskell 15 6

5. crackNum crackNum Public

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

   Haskell 20 8

6. FloatingHex FloatingHex Public

   Hexadecimal Floats for Haskell

   Haskell 4 1