Stars
A CLI that writes your git commit messages for you with AI
Master programming by recreating your favorite technologies from scratch.
formal-land / coq-of-solidity
Forked from ethereum/solidityFormal verification for Solidity smart contracts with Coq 🐓 Verify arbitrary properties on your smart contracts and make no bugs!
Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust
SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM
DeFi Developer roadmap is a curated Developer handbook which includes a list of the best tools for DApps development, resources and references!
The MultiRewardRange is a staking contract designed for pool lenders in the Ajna protocol. It allows lenders to stake their position NFTs, which represent their shares in the lending pool, and earn…
Extract the ABI (and resolve proxies, and get other metadata) from Ethereum bytecode, even without source code.
All discourse, papers, eth research posts, blogs and talks around current day ethereum research and future directions
Foundry tools for testing with Gnosis Safes
Really minimal stablecoin with ERC-4626
A Solidity code search tool with built-in static analysis detection
Solidity Package Manager written in rust and integrated into Foundry (forge soldeer ...)
A blazingly fast, local, Ethereum block explorer built on top of Erigon
Diff EVM-compatible chains in a friendly format
Generate tests based on the Branching Tree Technique.
A Solidity framework for upgradeable modularized applications.
The fastest pure-Python PEG parser I can muster
A curated list of resources for Huff language
Solidity contract visualisation tool
Foundry plugin for zksync era contract deployment
⚡ Modern, opinionated, and gas optimized base for smart contract development.
A protocol to create and run internet-native companies