35 results found Sort:

473
3.7k
agpl-3.0
129
Symbolic execution tool
Created 2017-02-10
1,109 commits to master branch, last one about a year ago
234
2.7k
apache-2.0
80
A Proof-oriented Programming Language
Created 2014-04-03
37,957 commits to master branch, last one 4 days ago
138
1.2k
bsd-3-clause
28
Liquid Types For Haskell
Created 2012-09-22
12,952 commits to develop branch, last one a day ago
Automatic verification of LLVM optimizations
Created 2018-06-09
2,457 commits to master branch, last one a day ago
55
791
mit
13
Transpiler of Python to many other languages
Created 2021-01-24
1,050 commits to main branch, last one 15 days ago
131
580
apache-2.0
18
pySMT: A library for SMT formulae manipulation and solving
Created 2014-12-01
1,660 commits to master branch, last one 5 months ago
52
578
mit
25
Better parametric search for components available for JLC PCB assembly
Created 2020-09-19
199 commits to master branch, last one about a month ago
130
530
other
34
Simple Theorem Prover, an efficient SMT solver for bitvectors
Created 2013-08-27
3,188 commits to master branch, last one 2 months ago
40
443
apache-2.0
9
APALACHE: symbolic model checker for TLA+ and Quint
Created 2015-07-03
6,416 commits to main branch, last one 7 days ago
82
432
other
24
SMACK Software Verifier and Verification Toolchain
Created 2012-07-30
3,120 commits to main branch, last one 3 years ago
54
363
apache-2.0
19
Verification framework and tool for higher-order Scala programs
Created 2016-08-17
4,059 commits to main branch, last one 10 days ago
114
359
unknown
10
Rust bindings for the Z3 solver.
Created 2018-03-08
510 commits to master branch, last one 15 days ago
Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.
Created 2018-11-20
227 commits to master branch, last one about a year ago
52
303
unknown
14
An aggregate of MEV resources, libraries, research papers, and strategies.
Created 2022-10-01
66 commits to main branch, last one 11 months ago
35
247
other
9
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Created 2011-01-07
6,547 commits to master branch, last one 3 days ago
46
189
apache-2.0
24
JavaSMT - Unified Java API for SMT solvers.
Created 2015-11-18
4,697 commits to master branch, last one 7 days ago
23
185
mit
6
A fuzzing framework for SMT solvers
Created 2020-10-30
529 commits to master branch, last one about a year ago
Jupyter notebooks for tutorial on the Z3 SMT solver
Created 2019-12-13
41 commits to master branch, last one 2 years ago
10
155
apache-2.0
12
Datalog with support for SMT queries and first-order functional programming
Created 2019-04-19
813 commits to master branch, last one about a month ago
19
151
apache-2.0
9
Tactics for discharging Lean goals into SMT solvers.
Created 2021-11-23
138 commits to main branch, last one 3 days ago
19
139
agpl-3.0
8
WebAssembly Swissknife & cross-language bugfinder
Created 2022-12-03
1,465 commits to main branch, last one 5 days ago
53
139
mit
9
A Go library that implements a Sparse Merkle tree for a key-value map.
This repository has been archived (exclude archived)
Created 2018-08-17
178 commits to master branch, last one 2 years ago
20
126
other
11
Synthesis of Heap-Manipulating Programs from Separation Logic
Created 2017-08-22
1,308 commits to master branch, last one 2 years ago
MonoSAT - An SMT solver for Monotonic Theories
Created 2015-01-23
1,504 commits to master branch, last one about a year ago
40
98
gpl-2.0
9
Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
Created 2015-05-15
842 commits to master branch, last one 4 months ago
Kryptonite for Kafka is a client-side 🔒 field level 🔓 cryptography library for Apache Kafka® offering a Kafka Connect SMT, ksqlDB UDFs, and a standalone HTTP API service. It's an ! UNOFFICIAL ! comm...
Created 2021-02-26
12 commits to master branch, last one 6 months ago
SMT based attacks on non cryptographic PRNGs
Created 2021-03-09
4 commits to main branch, last one about a year ago
12
64
mit
9
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
Created 2015-01-31
1,570 commits to master branch, last one 3 years ago
8
62
gpl-3.0
2
The ISLa (Input Specification Language) language & solver.
Created 2021-11-16
1,316 commits to main branch, last one 5 months ago
3
58
bsd-3-clause
3
A monadic library for symbolic evaluation
Created 2022-08-25
999 commits to main branch, last one 13 days ago