L
Repositories
Select a repository to view its commits, contributors, and more.public
sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Haskell
249
35
2
Updated 8 hours ago
public
hArduino
Control your Arduino board from Haskell, using the Firmata protocol
Haskell
72
8
0
Updated 6 months ago
public
sbvPlugin
Formally prove properties of Haskell programs using SBV/SMT.
Haskell
44
7
6
Updated 8 months ago
public
crackNum
Convert to/from IEEE-754 HP/SP/DP formats
Haskell
20
8
0
Updated 2 months ago
public
conjugateGradient
Sparse matrix linear equation solver, using the Conjugate Gradient algorithm
Haskell
15
6
0
Updated 2 years ago
public
linearEqSolver
Solve systems of linear equations, using SMT solvers.
Haskell
8
2
0
Updated a month ago
public
FloatingHex
Hexadecimal Floats for Haskell
Haskell
4
1
1
Updated 4 years ago
public
LeventErkok.github.io
SCSS
1
1
0
Updated 10 months ago
public
ismt
Yices as an Isabelle tactic
Isabelle
1
0
0
Updated 5 years ago