35 results found Sort:
- Filter by Primary Language:
- Python (7)
- C++ (5)
- Java (4)
- Haskell (4)
- OCaml (3)
- Scala (3)
- Lean (1)
- Rust (1)
- Jupyter Notebook (1)
- F* (1)
- Go (1)
- JavaScript (1)
- C (1)
- Kotlin (1)
- +
Symbolic execution tool
Created
2017-02-10
1,109 commits to master branch, last one about a year ago
A Proof-oriented Programming Language
Created
2014-04-03
37,957 commits to master branch, last one 4 days ago
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
Transpiler of Python to many other languages
Created
2021-01-24
1,050 commits to main branch, last one 15 days ago
pySMT: A library for SMT formulae manipulation and solving
Created
2014-12-01
1,660 commits to master branch, last one 5 months ago
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
Simple Theorem Prover, an efficient SMT solver for bitvectors
Created
2013-08-27
3,188 commits to master branch, last one 2 months ago
APALACHE: symbolic model checker for TLA+ and Quint
Created
2015-07-03
6,416 commits to main branch, last one 7 days ago
SMACK Software Verifier and Verification Toolchain
Created
2012-07-30
3,120 commits to main branch, last one 3 years ago
Verification framework and tool for higher-order Scala programs
Created
2016-08-17
4,059 commits to main branch, last one 10 days ago
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
An aggregate of MEV resources, libraries, research papers, and strategies.
Created
2022-10-01
66 commits to main branch, last one 11 months ago
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
JavaSMT - Unified Java API for SMT solvers.
Created
2015-11-18
4,697 commits to master branch, last one 7 days ago
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
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
Tactics for discharging Lean goals into SMT solvers.
Created
2021-11-23
138 commits to main branch, last one 3 days ago
WebAssembly Swissknife & cross-language bugfinder
Created
2022-12-03
1,465 commits to main branch, last one 5 days ago
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
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
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
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
The ISLa (Input Specification Language) language & solver.
Created
2021-11-16
1,316 commits to main branch, last one 5 months ago
A monadic library for symbolic evaluation
Created
2022-08-25
999 commits to main branch, last one 13 days ago