Yices2The Yices SMT Solver
Stars: ✭ 248 (+1027.27%)
Mutual labels: smt
stmSoftware Transactional Memory
Stars: ✭ 74 (+236.36%)
Mutual labels: ghc
BoolectorA Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
Stars: ✭ 172 (+681.82%)
Mutual labels: smt
Alive2Automatic verification of LLVM optimizations
Stars: ✭ 199 (+804.55%)
Mutual labels: smt
smuggler2Minimise haskell imports, make exports explicit
Stars: ✭ 18 (-18.18%)
Mutual labels: ghc
JlcpartsBetter parametric search for components available for JLC PCB assembly
Stars: ✭ 114 (+418.18%)
Mutual labels: smt
Pi-PoolCardano Stakepool on Raspberry Pi
Stars: ✭ 204 (+827.27%)
Mutual labels: ghc
StainlessVerification framework and tool for higher-order Scala programs
Stars: ✭ 241 (+995.45%)
Mutual labels: smt
haskell-hot-swapHot swapping compiled code while keeping a websocket connection open
Stars: ✭ 24 (+9.09%)
Mutual labels: ghc
FstarA Proof-oriented Programming Language
Stars: ✭ 2,171 (+9768.18%)
Mutual labels: smt
ManticoreSymbolic execution tool
Stars: ✭ 2,599 (+11713.64%)
Mutual labels: smt
scalognoprototyping logic programming in Scala
Stars: ✭ 38 (+72.73%)
Mutual labels: smt
TritonTriton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.
Stars: ✭ 1,934 (+8690.91%)
Mutual labels: smt
steviaA simple (unfinished) SMT solver for QF_ABV.
Stars: ✭ 30 (+36.36%)
Mutual labels: smt
SbvSMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Stars: ✭ 125 (+468.18%)
Mutual labels: smt
vabalcabal in Valle
Stars: ✭ 43 (+95.45%)
Mutual labels: ghc
stupid-computerA understandable Haskell tracer.
Stars: ✭ 13 (-40.91%)
Mutual labels: ghc
ghc-stackHacking GHC's Stack for Fun and Profit (featuring The Glorious Haskell Debugger v0.0.1 Pre-alpha)
Stars: ✭ 69 (+213.64%)
Mutual labels: ghc
zsh-haskellghc and cabal completion for zsh shell
Stars: ✭ 18 (-18.18%)
Mutual labels: ghc