Lists (1)
Stars
A comparison of solidity fuzzing tools Foundry, Echidna & Medusa
An analysis tool for Python that blurs the line between testing and type systems.
Wake is a Python-based Solidity development and testing framework with built-in vulnerability detectors
A commenting system powered by GitHub Discussions. 💬 💎
Lean theorem proving interface which feels like pen-and-paper proofs.
A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development snapshots. Submit issues and PRs here.
Lean 4 programming language and theorem prover
LCOV code coverage report viewer. Parses lcov report files and generates HTML report grouped by directory.
markdown preview plugin for (neo)vim
A GitHub Action that implements smart caching for rust/cargo projects
Rust implementation of the Ethereum Virtual Machine.
Emerging smart contract language for the Ethereum blockchain.
TLA+ formalization of a distributed termination-detection algorithm, including a proof checked with Apalache
EF project Exploring Automatic Model-Checking of the Ethereum specification
Consensus layer implementation for zkSync Era
yargs the modern, pirate-themed successor to optimist.