LeventErkok

LeventErkok

👤 Developer

4 repositories on SrcLog

View on GitHub
4 Repos
384 Stars
56 Forks
384 Watchers

Repositories (4)

sbv LeventErkok/sbv Haskell

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

252
hArduino LeventErkok/hArduino Haskell

Control your Arduino board from Haskell, using the Firmata protocol

73
sbvPlugin LeventErkok/sbvPlugin Haskell

Formally prove properties of Haskell programs using SBV/SMT.

45
conjugateGradient LeventErkok/conjugateGradient Haskell

Sparse matrix linear equation solver, using the Conjugate Gradient algorithm

14