Portland, OR

Levent Erkök

Advanced
@LeventErkok
leventerkok.github.io/

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

266

hArduino. Control your Arduino board from Haskell, using the Firmata protocol

74

sbvPlugin. Formally prove properties of Haskell programs using SBV/SMT.

47

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

22

conjugateGradient. Sparse matrix linear equation solver, using the Conjugate Gradient algorithm

16

linearEqSolver. Solve systems of linear equations, using SMT solvers.

10

FloatingHex. Hexadecimal Floats for Haskell

5

ismt. Yices as an Isabelle tactic

2

LeventErkok.github.io. SCSS

1
9
Apply