Levent Erkök

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

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

ismt. Yices as an Isabelle tactic

LeventErkok.github.io. SCSS