LeventErkok/conjugateGradient
Sparse matrix linear equation solver, using the Conjugate Gradient algorithm
Developer Profile
LeventErkok
Discovered public repositories for LeventErkok in the GitHub catalog.
LeventErkok/hArduino
Control your Arduino board from Haskell, using the Firmata protocol
LeventErkok/linearEqSolver
Solve systems of linear equations, using SMT solvers.
LeventErkok/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.