Levent Erkök (@LeventErkok)
github

LeventErkok

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    405
  • Global Rank 69,477 (Top 3 %)
  • Followers 104
  • Registered almost 14 years ago
  • Most used languages
    Haskell
         77.8 %
    SCSS     11.1 %
    Isabelle     11.1 %
  • Location 🇺🇸 United States
  • Country Total Rank 18,157
  • Country Ranking
    Isabelle     12
    Haskell
         75
    SCSS     2,206

Top repositories

1

sbv

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

hArduino

Control your Arduino board from Haskell, using the Firmata protocol
Haskell
72
star
3

sbvPlugin

Formally prove properties of Haskell programs using SBV/SMT.
Haskell
44
star
4

crackNum

Convert to/from IEEE-754 HP/SP/DP formats
Haskell
19
star
5

conjugateGradient

Sparse matrix linear equation solver, using the Conjugate Gradient algorithm
Haskell
15
star
6

linearEqSolver

Solve systems of linear equations, using SMT solvers.
Haskell
8
star
7

FloatingHex

Hexadecimal Floats for Haskell
Haskell
4
star
8

LeventErkok.github.io

SCSS
1
star
9

ismt

Yices as an Isabelle tactic
Isabelle
1
star