ginblockchain's Stars
wevm/frog
Framework for Farcaster Frames 🐸
OffchainLabs/stylus
Stylus VM and Fraud Prover
Visualize-ML/Book1_Python-For-Beginners
Book_1_《编程不难》 | 鸢尾花书:从加减乘除到机器学习;请多多批评指正!
OpenZeppelin/openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
Vectorized/solady
Optimized Solidity snippets.
WTFAcademy/WTF-Cairo
学习Starknet Cairo智能合约。 Learn to write smart contracts on Starknet. Based on Cairo 2.2.
MarkFzp/mobile-aloha
Mobile ALOHA: Learning Bimanual Mobile Manipulation with Low-Cost Whole-Body Teleoperation
jquery/esprima
ECMAScript parsing infrastructure for multipurpose analysis
selfteaching/the-craft-of-selfteaching
One has no future if one couldn't teach themself.
Jon-Becker/heimdall-rs
Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.
Jon-Becker/heimdall
Powerful Ethereum Smart-Contract Toolkit
eveem-org/panoramix
Decompiler at the heart of Eveem.org
pytorch/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
ethereum/go-ethereum
Go implementation of the Ethereum protocol
SupremacyTeam/VyperPunk
Web3.0/Vyper based wargame
a16z/halmos
A symbolic testing tool for EVM smart contracts
0xsequence/create3
CREATE3 (see EIP-3171) implemented in Solidity
paco0x/amm-arbitrageur
An arbitrage bot between Uniswap AMMs
GeorgeHNTR/oz-known-issues
Find the version that the project you currently develop or audit uses and quickly check which are the known smart contract security vulnerabilities that may affect your code.
lorenzb/libsubmarine
Implementation of a novel practical scheme for submarine commitments
PhiloCwh/Web3-Financial-Engineering-Courses
0xalpharush/awesome-MEV-resources
Get up to speed on Maximum Extractable Value
immunefi-team/forge-poc-templates
transmissions11/solmate
Modern, opinionated, and gas optimized building blocks for smart contract development.
crytic/medusa
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
nomoixyz/vulcan
Development framework for Foundry projects
compound-finance/compound-protocol
The Compound On-Chain Protocol
crytic/slither
Static Analyzer for Solidity and Vyper
immunefi-team/Web3-Security-Library
Information about web3 security and programming tutorials/tools
softstack/Smart-Contract-Security-Audits
Certified Smart Contract Audits for Ethereum, Solana, Near, Cardano, Aptos, Sui, Binance Smart Chain, Fantom, EOS, Tezos by softstack (formerly Chainsulting)