LeventErkok/sbv

Stars
241
Rank 167,643 (Top 4 %)
Language
Haskell
License
Other
Created almost 14 years ago
Updated 2 months ago

LeventErkok/sbv

LeventErkok

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

SBV: SMT Based Verification in Haskell

On Hackage: http://hackage.haskell.org/package/sbv

Please see: http://leventerkok.github.io/sbv/

hArduino

Control your Arduino board from Haskell, using the Firmata protocol

sbvPlugin

Formally prove properties of Haskell programs using SBV/SMT.

crackNum

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

conjugateGradient

Sparse matrix linear equation solver, using the Conjugate Gradient algorithm

linearEqSolver

Solve systems of linear equations, using SMT solvers.

FloatingHex

Hexadecimal Floats for Haskell

LeventErkok.github.io

ismt

Yices as an Isabelle tactic