Stars
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Bitwuzla SMT solver repackaged for convenient use in opam.
Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.
ADAPT is the open source white-box testing framework for deep neural networks
An easy-to-use, flexible website template for labs.
Various data formats for the SPDX License List including RDFa, HTML, Text, and JSON
Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.
Python Text Similarity NLP Libray
A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).
A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).
A curated list of papers, theses, datasets, and tools related to the application of Machine Learning for Software Engineering
Data repository for pretrained NLP models and NLP corpora.
Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.
a safety verifier for Solidity smart contracts
A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected
pySMT: A library for SMT formulae manipulation and solving
Parmap is a minimalistic library allowing to exploit multicore architecture for OCaml programs with minimal modifications.
Owl - OCaml Scientific Computing @ https://ocaml.xyz