LeventErkok

LeventErkok

👤 Developer

4 repositories on SrcLog

View on GitHub
4 Repos
401 Stars
71 Forks
39 Watchers

Repositories (4)

sbv LeventErkok/sbv Haskell

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

266
hArduino LeventErkok/hArduino Haskell

Control your Arduino board from Haskell, using the Firmata protocol

74
sbvPlugin LeventErkok/sbvPlugin Haskell

Formally prove properties of Haskell programs using SBV/SMT.

47
conjugateGradient LeventErkok/conjugateGradient Haskell

Sparse matrix linear equation solver, using the Conjugate Gradient algorithm

14