Formal Solidity semantics in Lean 4 — the engine behind the Lean Semantics divergence challenge.
☆25Oct 17, 2026Updated this 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.☆32Sep 30, 2026Updated 3 weeks ago
- Efficient beacon chain batch deposit contract written in huff☆22Oct 1, 2023Updated 3 years ago
- Rust library for building and interacting with AWS Nitro enclaves.☆19Updated this week
- Delegatecall from any contract. A kind of vm.prank for delegatecalls.☆18Sep 10, 2024Updated 2 years ago
- Variable Rate Gradual Dutch Auctions with Martingale Price Correction.☆37Sep 9, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Morpho token contracts.☆15Dec 10, 2024Updated last year
- ring-vrf ring proof v2.5☆21Sep 24, 2026Updated 3 weeks ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆16Jun 4, 2024Updated 2 years ago
- ☆11Apr 2, 2026Updated 6 months ago
- Yultsur is a Rust implementation of Yul.☆23Jul 2, 2021Updated 5 years ago
- ☆11Apr 13, 2022Updated 4 years ago
- ☆18Sep 26, 2026Updated 3 weeks ago
- Comparing gas measurements from Forge, Hardhat, Tevm and forge-gas-metering against testnet transactions.☆16Feb 28, 2024Updated 2 years ago
- Curta Challenge☆16Apr 15, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A simple TUI to assist in diffing bodies of text☆14May 9, 2024Updated 2 years ago
- ☆72May 14, 2025Updated last year
- efficient libraries for working with min-heaps in solidity☆23Jun 12, 2023Updated 3 years ago
- Smart contract that checks if the SELFDESTRUCT opcode is still valid on the chain it is deployed to☆29Oct 19, 2022Updated 4 years ago
- 🍭 A Solidity library for prime field arithmetic☆16Jan 31, 2024Updated 2 years ago
- Certora integration with the Forge testing framework of Foundry☆21Jun 8, 2023Updated 3 years ago
- Persistent fault-tolerant key-value store in rust☆16Mar 17, 2025Updated last year
- Serves data to Prometheus about Fuse☆15Dec 18, 2021Updated 4 years ago
- 🤖 Smart contracts built on top of Morpho Protocol to enable one-click leverage and strategies☆21Jun 17, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An abstract P2E engine, allowing developers an interface to develop minigames and turn them over to their communities☆15Apr 10, 2022Updated 4 years ago
- Icon Hash by Python☆12May 28, 2018Updated 8 years ago
- A lightweight, extensible foundry library for shell scripting.☆62Jul 12, 2022Updated 4 years ago
- ☆17Feb 3, 2024Updated 2 years ago
- A Huff compiler implemented in Racket☆23Mar 7, 2025Updated last year
- A framework for AI systems to write EVM bytecode and prove it safe, built on NethermindEth/EVMYulLean.☆39Jun 24, 2026Updated 3 months ago
- Simulate cross-chain protocols txs, easily.☆156Sep 24, 2026Updated 3 weeks ago
- ☆33Oct 25, 2022Updated 3 years ago
- List of currently developed optimism bridges☆26May 25, 2021Updated 5 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 of WETH9.sol with Z3☆58Nov 19, 2022Updated 3 years ago
- Script(s) to interact with gp-v2-contracs☆15Oct 8, 2026Updated 2 weeks ago
- Set process and thread affinity in your Rust programs !☆32Sep 4, 2023Updated 3 years ago
- Repository gathering useful libraries and contracts.☆65Aug 13, 2023Updated 3 years ago
- A text-to-SQL prototype on the northwind sqlite dataset☆13Sep 24, 2024Updated 2 years ago
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆28Jul 6, 2026Updated 3 months ago
- Contracts for EthML- a decentralized AI implementation☆24Dec 14, 2021Updated 4 years ago