31 results found Sort:
- Filter by Primary Language:
- Python (7)
- Java (4)
- Haskell (4)
- C++ (4)
- Scala (2)
- Jupyter Notebook (1)
- Lean (1)
- OCaml (1)
- Rust (1)
- JavaScript (1)
- F* (1)
- Go (1)
- HTML (1)
- C (1)
- +
Symbolic execution tool
Created
2017-02-10
1,109 commits to master branch, last one 10 months ago
A Proof-oriented Programming Language
Created
2014-04-03
36,750 commits to master branch, last one 3 days ago
Liquid Types For Haskell
Created
2012-09-22
12,330 commits to develop branch, last one 3 days ago
Automatic verification of LLVM optimizations
Created
2018-06-09
2,276 commits to master branch, last one 15 hours ago
Transpiler of Python to many other languages
Created
2021-01-24
882 commits to main branch, last one 3 months ago
pySMT: A library for SMT formulae manipulation and solving
Created
2014-12-01
1,650 commits to master branch, last one 23 hours ago
Better parametric search for components available for JLC PCB assembly
Created
2020-09-19
194 commits to master branch, last one 2 months ago
Simple Theorem Prover, an efficient SMT solver for bitvectors
Created
2013-08-27
3,170 commits to master branch, last one 5 months ago
SMACK Software Verifier and Verification Toolchain
Created
2012-07-30
3,120 commits to main branch, last one 2 years ago
APALACHE: symbolic model checker for TLA+ and Quint
Created
2015-07-03
6,011 commits to main branch, last one 25 days ago
Verification framework and tool for higher-order Scala programs
Created
2016-08-17
3,975 commits to main branch, last one 4 days ago
Rust bindings for the Z3 solver.
Created
2018-03-08
491 commits to master branch, last one a day 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 4 months ago
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Created
2011-01-07
6,145 commits to master branch, last one 11 days ago
A fuzzing framework for SMT solvers
Created
2020-10-30
529 commits to master branch, last one about a year ago
JavaSMT - Unified Java API for SMT solvers.
Created
2015-11-18
4,423 commits to master branch, last one 12 hours ago
Jupyter notebooks for tutorial on the Z3 SMT solver
Created
2019-12-13
41 commits to master branch, last one about a year ago
Datalog with support for SMT queries and first-order functional programming
Created
2019-04-19
791 commits to master branch, last one 7 months 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
835 commits to master branch, last one about a year 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 23 hours ago
Tactics for discharging Lean goals into SMT solvers.
Created
2021-11-23
96 commits to main branch, last one 4 days 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
Haskell bindings to Microsoft's Z3 API (unofficial).
Created
2018-04-28
476 commits to master branch, last one 12 months ago
SMT based attacks on non cryptographic PRNGs
Created
2021-03-09
4 commits to main branch, last one about a year ago
The ISLa (Input Specification Language) language & solver.
Created
2021-11-16
1,314 commits to main branch, last one 4 months ago
A monadic library for symbolic evaluation
Created
2022-08-25
604 commits to main branch, last one 19 days ago