Formal Solidity semantics in Lean 4 — the engine behind the Lean Semantics divergence challenge.
☆30Nov 2, 2026Updated last week
Alternatives and similar repositories for solidity-lean
Users that are interested in solidity-lean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Beat a formally verified Yul → EVM compiler on total gas — while its machine-checked correctness theorem still proves.☆34Oct 20, 2026Updated 3 weeks ago
- Executable formal model of the EVM and Yul in Lean 4.☆102Nov 19, 2025Updated 11 months ago
- Variable Rate Gradual Dutch Auctions with Martingale Price Correction.☆37Sep 9, 2022Updated 4 years ago
- ☆14Nov 3, 2026Updated last week
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆28Jul 6, 2026Updated 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A simple TUI to assist in diffing bodies of text☆14May 9, 2024Updated 2 years ago
- Curta Challenge☆16Apr 15, 2023Updated 3 years ago
- Yultsur is a Rust implementation of Yul.☆23Jul 2, 2021Updated 5 years ago
- ☆11Jul 16, 2023Updated 3 years ago
- Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the I…☆20Aug 25, 2022Updated 4 years ago
- A framework for AI systems to write EVM bytecode and prove it safe, built on NethermindEth/EVMYulLean.☆39Jun 24, 2026Updated 4 months ago
- Lean4 formalization of "A Simplified Round-by-round Soundness Proof of FRI"☆11Apr 1, 2026Updated 7 months ago
- ERC5189 p2p transaction bundler☆14May 16, 2024Updated 2 years ago
- Certora integration with the Forge testing framework of Foundry☆21Jun 8, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Solidity transient storage that's mutable from within a `STATICCALL`☆24May 6, 2025Updated last year
- ☆72May 14, 2025Updated last year
- ☆58Jan 31, 2024Updated 2 years ago
- ☆64Apr 6, 2026Updated 7 months ago
- Foundry toolchain manager☆13Nov 2, 2026Updated last week
- Core traits and libraries extracted from Foundry, published as crates so they can be depended on without git references.☆23Updated this week
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆15Jun 20, 2025Updated last year
- ☆59Updated this week
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆32Oct 31, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Formal verification for Solidity smart contracts with the theorem prover Rocq. Providing higher security in a time of smarter AIs.☆54May 24, 2026Updated 5 months ago
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆60Jan 18, 2026Updated 9 months ago
- Solidity By Example rewritten in Huff, the most based low-level EVM language.☆33Feb 21, 2024Updated 2 years ago
- A JSON-formatted registry file to describe NFTs within a given wallet that should and should not be showcased☆16Sep 7, 2021Updated 5 years ago
- An opinionated, spec-compliant, optimized version of Optimism's contracts-bedrock package.☆58May 11, 2023Updated 3 years ago
- Testing echidna vs. forge fuzzing☆76Dec 20, 2022Updated 3 years ago
- testing https://github.com/radicle-dev/radicle-contracts☆14Feb 18, 2021Updated 5 years ago
- Efficient beacon chain batch deposit contract written in huff☆23Oct 1, 2023Updated 3 years ago
- Modern fork of reth-libmdbx. Faster. Safer. Simpler.☆15Jun 18, 2026Updated 4 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Efficient, decentralised and MEV resistant mechanism to convert fee assets to a single token.☆35Oct 24, 2026Updated 2 weeks ago
- Interledger.js Ledger Plugin for Chain Core☆12Nov 22, 2017Updated 8 years ago
- Transparent cross-chain transaction routing for EIP-7702 accounts☆113Feb 2, 2026Updated 9 months ago
- ☆33Oct 25, 2022Updated 4 years ago
- Delegatecall from any contract. A kind of vm.prank for delegatecalls.☆18Sep 10, 2024Updated 2 years ago
- Course materials for Chalmers TPIL25 class☆16Feb 13, 2025Updated last year
- A lightweight, extensible foundry library for shell scripting.☆62Jul 12, 2022Updated 4 years ago
Are these results useful?