runtimeverification / publications
Publications of Runtime Verification, Inc.
☆91Updated 2 weeks ago
Alternatives and similar repositories for publications:
Users that are interested in publications are comparing it to the libraries listed below
- Using mutations to improve specs and test suites☆184Updated 7 months ago
- Tools for Yul.☆138Updated 2 years ago
- evm inception: the evm inside the evm via yul and solidity☆227Updated 2 years ago
- ☆90Updated 4 years ago
- ☆76Updated 2 years ago
- Simulate cross-chain protocols txs, easily.☆147Updated last week
- Foundry + Yul template☆95Updated last year
- Playing with zero-knowledge proof languages☆105Updated 2 years ago
- Code for Foundry Seminar☆114Updated 3 years ago
- ☆73Updated 3 months ago
- ☆164Updated last year
- Library for checked-in, targeted gas snapshots with forge☆97Updated 6 months ago
- ☆99Updated last year
- Foundry Repository Template that supports writing contracts in Huff using the foundry-huff library.☆212Updated 8 months ago
- readable evm state diffs, enumerate full contract storage☆136Updated last year
- My solutions to https://ctf.paradigm.xyz/☆62Updated 2 years ago
- ☆108Updated 3 weeks ago
- 🦄 🦄 🦄 Peripheral smart contracts for interacting with Uniswap v3, modified for building & testing with Foundry☆110Updated 2 years ago
- Implementation of the Ethereum Virtual Machine in python.☆86Updated 2 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- A collection of commonly used, vigorously tested Huff contracts for learning purposes.☆137Updated 2 years ago
- Portfolio is an automated market making protocol for implementing custom strategies at the lowest cost possible.☆114Updated 11 months ago
- ☆41Updated last year
- A list of common Solidity optimization tips and myths.☆209Updated 3 years ago
- An opinionated template for Foundry projects.☆75Updated last month
- Core contracts of Morpho Optimizers.☆138Updated last month
- ☆42Updated last year
- Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry☆166Updated 2 years ago
- Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.☆121Updated 2 years ago
- Zero-to-One Solidity with Simplicity-first.☆168Updated 3 weeks ago