0xVolosnikov

0xVolosnikov's Stars

• rust-unofficial/awesome-rust

  A curated list of Rust code and resources.

  Language:Rust48.2k8221362.8k

• OpenZeppelin/openzeppelin-contracts

  OpenZeppelin Contracts is a library for secure smart contract development.

  Language:Solidity25.2k6402k11.9k

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.6k1815.6k1.5k

• foundry-rs/foundry

  Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

  Language:Rust8.5k824.4k1.8k

• NomicFoundation/hardhat

  Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software.

  Language:TypeScript7.4k772.7k1.5k

• crytic/slither

  Static Analyzer for Solidity and Vyper

  Language:Python5.4k691.2k985

• aljazceru/awesome-nostr

  nostr.net - awesome-nostr is a collection of projects and resources built on nostr to help developers and users find new things

  2.6k5523324

• transmissions11/solcurity

  Opinionated security and code quality standard for Solidity smart contracts.

  2.1k404270

• Uniswap/v4-core

  🦄 🦄 🦄 🦄 Core smart contracts of Uniswap v4

  Language:Solidity2.1k412261k

• Defi-Cartel/salmonella

  Wrecking sandwich traders for fun and profit

  1.8k656164

• paradigmxyz/cryo

  cryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes

  Language:Rust1.3k1060124

• semaphore-protocol/semaphore

  A zero-knowledge protocol for anonymous interactions.

  Language:TypeScript94523413229

• fuzzland/ityfuzz

  Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

  Language:Rust90014188144

• a16z/halmos

  A symbolic testing tool for EVM smart contracts

  Language:Python846912773

• Uniswap/permit2

  🔑🔑🔑 next generation token approvals mechanism

  Language:Solidity7842186197

• anthias-labs/arbiter

  A blazing-fast Ethereum sandbox that lets developers orchestrate event-driven simulations.

  Language:Rust6891539066

• a16z/cicada

  A protocol for private on-chain voting, implemented in Solidity.

  Language:Solidity31711124

• NakamotoInstitute/RPOW

  Reusable Proofs of Work by Hal Finney

  Language:C15415037

• trailofbits/necessist

  A mutation-based tool for finding bugs in tests

  Language:Rust110224010

• frangio/hardhat-exposed

  Automatically expose internal Solidity functions for smart contract testing.

  Language:TypeScript8342213

• MorenaBarboni/SuMo-SOlidity-MUtator

  A mutation testing tool for Solidity Smart Contracts

  Language:JavaScript772513

• matter-labs/era-compiler-solidity

  Solidity compiler for ZKsync.

  Language:Rust6572131

• cryptoalgebra/Algebra

  Algebra AMM main repository

  Language:TypeScript566439

• RareSkills/noir-puzzles

  Language:Solidity5061022

• frangio/hardhat-ignore-warnings

  Hardhat plugin that adds ways to ignore Solidity warnings

  Language:TypeScript18226

• cowprotocol/cow-amm

  An automated market maker running on top of CoW Protocol

  Language:Solidity17595

• matter-labs/zksync-protocol

  ZKsync protocol libraries

  Language:Rust11903

• debych/foundry-x-hardhat-template

  A template project containing different configs for Foundry and Hardhat working along. Includes linter, prettier configs.

  Language:TypeScript8110

• ArrakisFinance/minimize-lvr-hook-poc

  Language:Solidity4212

• matter-labs/era-evm-tester

  Testing framework for EVM implementations.

  Language:Rust2701