web3 & Blockchain learning material is hiding in here

The efficient SMT-based context-bounded model checker (ESBMC)

AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.

The road to Ethereum advancement.

🌴 Core smart contracts for Mangrove with deployment scripts and example offer logics

EtherAuthority secures web3 including: DeFi, NFT, DAO, Metaverse, Gaming, DEX, Launchpad, L1 Blockchain, Escrow, Cross-chain Bridge, and many more.

This repo contains a comprehensive list of smart contract auditor tools and techniques that can be utilized by both smart contract auditors and blockchain developers for developing secure smart contracts

EtherAuthority creates smart contracts including: DeFi, NFT, DAO, Metaverse, Gaming, DEX, Launchpad, L1 Blockchain, Escrow, Cross-chain Bridge, and many more.

Decentralized infrastructure tailored for the seamless facilitation of various DAO activities, encompassing governance and tokenomics. Our objective is to reduce entry barriers significantly while preserving the trust associated with decentralization and ensuring tamper-resistant governance.

A crowdfunding project using blockchain is a decentralized platform that enables project creators to collect small contributions from a large number of people in the form of cryptocurrencies.

💧 Periphery Contracts for iZiSwap.

Roulette UI compatible with ChainLink VRF randomness generator smart contract

Smart contracts of RigoBlock v3

Colony Network smart contracts

Learing

Solidity, Vyper Contracts for EVM chains like Ethereum, Polygon, BSC, [helpful for EOSIO Developers]

VS Code plugin implementing a language server for Solidity

我最近在重新学solidity，巩固一下细节，也写一个“WTF Solidity极简入门”，供小白们使用，每周更新1-3讲。Now supports English! 官网: https://wtf.academy

RMRK Solidity contracts

Collection of various smart contracts that all together from a DAO in cup of my cacao...