LeventErkok/sbvPlugin

Formally prove properties of Haskell programs using SBV/SMT.

Language: Haskell - Size: 542 KB - Last synced: 9 days ago - Pushed: 9 days ago - Stars: 44 - Forks: 7

LeventErkok/sbv

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

Language: Haskell - Size: 15.5 MB - Last synced: 11 days ago - Pushed: 11 days ago - Stars: 234 - Forks: 32

LeventErkok/crackNum

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

Language: Haskell - Size: 230 KB - Last synced: 25 days ago - Pushed: about 2 months ago - Stars: 17 - Forks: 8

LeventErkok/LeventErkok.github.io

Language: SCSS - Size: 8.21 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 1 - Forks: 1

LeventErkok/stackage Fork of commercialhaskell/stackage

Stable Haskell package sets: vetted consistent packages from Hackage

Size: 18.1 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 0

LeventErkok/hArduino

Control your Arduino board from Haskell, using the Firmata protocol

Language: Haskell - Size: 4.85 MB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 70 - Forks: 8

LeventErkok/conjugateGradient

Sparse matrix linear equation solver, using the Conjugate Gradient algorithm

Language: Haskell - Size: 25.4 KB - Last synced: 17 days ago - Pushed: over 3 years ago - Stars: 15 - Forks: 6

LeventErkok/linearEqSolver

Solve systems of linear equations, using SMT solvers.

Language: Haskell - Size: 17.6 KB - Last synced: 17 days ago - Pushed: about 3 years ago - Stars: 8 - Forks: 2

LeventErkok/FloatingHex

Hexadecimal Floats for Haskell

Language: Haskell - Size: 15.6 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 4 - Forks: 1

LeventErkok/ismt

Yices as an Isabelle tactic

Language: Isabelle - Size: 323 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 1 - Forks: 0