ginblockchain's starred repositories

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Language:PythonLicense:NOASSERTIONStargazers:80615Issues:1736Issues:43424

go-ethereum

Go implementation of the Ethereum protocol

Language:GoLicense:LGPL-3.0Stargazers:46807Issues:2211Issues:8046

openzeppelin-contracts

OpenZeppelin Contracts is a library for secure smart contract development.

Language:JavaScriptLicense:MITStargazers:24541Issues:637Issues:1881

the-craft-of-selfteaching

One has no future if one couldn't teach themself.

Language:Jupyter NotebookStargazers:15118Issues:732Issues:175

esprima

ECMAScript parsing infrastructure for multipurpose analysis

Language:TypeScriptLicense:BSD-2-ClauseStargazers:7021Issues:150Issues:654

slither

Static Analyzer for Solidity and Vyper

Language:PythonLicense:AGPL-3.0Stargazers:5155Issues:69Issues:1172

Book1_Python-For-Beginners

Book_1_《编程不难》 | 鸢尾花书:从加减乘除到机器学习;请多多批评指正!

Language:Jupyter NotebookStargazers:4249Issues:59Issues:180

solmate

Modern, opinionated, and gas optimized building blocks for smart contract development.

Language:SolidityLicense:AGPL-3.0Stargazers:3780Issues:43Issues:186

mobile-aloha

Mobile ALOHA: Learning Bimanual Mobile Manipulation with Low-Cost Whole-Body Teleoperation

Language:Jupyter NotebookLicense:MITStargazers:3673Issues:70Issues:14

solady

Optimized Solidity snippets.

Language:SolidityLicense:MITStargazers:2315Issues:35Issues:133

amm-arbitrageur

An arbitrage bot between Uniswap AMMs

Language:SolidityLicense:WTFPLStargazers:1876Issues:49Issues:50

compound-protocol

The Compound On-Chain Protocol

Language:TypeScriptLicense:BSD-3-ClauseStargazers:1857Issues:79Issues:74

Web3-Security-Library

Information about web3 security and programming tutorials/tools

heimdall-rs

Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.

Language:RustLicense:MITStargazers:1122Issues:13Issues:193

awesome-MEV-resources

Get up to speed on Maximum Extractable Value

panoramix

Decompiler at the heart of Eveem.org

Language:PythonLicense:MITStargazers:800Issues:59Issues:65

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)

Language:HTMLStargazers:762Issues:225Issues:0

halmos

A symbolic testing tool for EVM smart contracts

Language:PythonLicense:AGPL-3.0Stargazers:740Issues:11Issues:100

frog

Framework for Farcaster Frames 🐸

Language:TypeScriptLicense:NOASSERTIONStargazers:396Issues:5Issues:91

vulcan

Development framework for Foundry projects

Language:SolidityLicense:MITStargazers:285Issues:5Issues:91

create3

CREATE3 (see EIP-3171) implemented in Solidity

medusa

Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

Language:GoLicense:AGPL-3.0Stargazers:276Issues:21Issues:188

libsubmarine

Implementation of a novel practical scheme for submarine commitments

Language:PythonLicense:NOASSERTIONStargazers:223Issues:8Issues:25

WTF-Cairo

学习Starknet Cairo智能合约。 Learn to write smart contracts on Starknet. Based on Cairo 2.2.

Language:CairoLicense:MITStargazers:131Issues:5Issues:7

VyperPunk

Web3.0/Vyper based wargame

Language:PythonLicense:MITStargazers:119Issues:4Issues:1

stylus

Stylus VM and Fraud Prover

Language:GoLicense:NOASSERTIONStargazers:100Issues:15Issues:2

heimdall

Powerful Ethereum Smart-Contract Toolkit

Language:PythonLicense:MITStargazers:82Issues:3Issues:7

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.