Levent Erkök
Results
5
repositories owned by
Levent Erkök
sbv
235
Stars
32
Forks
Watchers
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
hArduino
71
Stars
8
Forks
Watchers
Control your Arduino board from Haskell, using the Firmata protocol
conjugateGradient
15
Stars
6
Forks
Watchers
Sparse matrix linear equation solver, using the Conjugate Gradient algorithm
sbvPlugin
44
Stars
7
Forks
Watchers
Formally prove properties of Haskell programs using SBV/SMT.
crackNum
17
Stars
8
Forks
Watchers
Convert to/from IEEE-754 HP/SP/DP formats