sxysun-zz

sxysun-zz's Stars

• akula-bft/akula

  Fastest Ethereum archive node ever built

  Language:Rust792126

• panjf2000/ants

  🐜🐜🐜 ants is the most powerful and reliable pooling solution for Go.

  Language:Go13.1k1.4k

• holiman/goevmlab

  Evm laboratory

  Language:Go25348

• erigontech/silkworm

  C++ implementation of the Ethereum protocol

  Language:C++28068

• microsoft/Forerunner

  Forerunner: Constraint-based Speculative Transaction Execution for Ethereum

  Language:Go986

• blasty/CVE-2021-3156

  Language:C961237

• flashbots/mev-job-board

  Need a bot?

  74599

• fxfactorial/liquidation-bot-fall-2020

  My old liquidation bot - doesn't compile, just learn from it

  Language:Go35193

• ethersphere/swarm

  Swarm: Censorship resistant storage and communication infrastructure for a truly sovereign digital society

  Language:Go488110

• freqtrade/freqtrade

  Free, open source crypto trading bot

  Language:Python33.1k6.6k

• flashbots/mev-research

  Project management for MEV Research

  908177

• crytic/echidna

  Ethereum smart contract fuzzer

  Language:Haskell2.8k378

• smtcoq/smtcoq

  Communication between Coq and SAT/SMT solvers

  Language:OCaml15744

• ongardie/raft.tla

  TLA+ specification for the Raft consensus algorithm

  Language:TLA47673

• coq-community/coq-tricks

  Tricks you wish the Coq manual told you [maintainer=@tchajed]

  Language:Coq50622

• matter-labs/zksync

  zkSync: trustless scaling and privacy engine for Ethereum

  Language:Rust4.9k2.7k

• zcash/zcash

  Zcash - Internet Money

  Language:C++5k2.1k

• projectchicago/gastoken

  ⛽ Tokenize gas on Ethereum with GasToken ⛽

  Language:Python71790

• tornadocash/tornado-core

  Tornado cash. Non-custodial private transactions on Ethereum.

  Language:JavaScript1.5k565

• perlin-network/life

  A secure WebAssembly VM catered for decentralized applications.

  Language:Go1.7k120

• shentufoundation/deepsea

  The DeepSEA programming language

  Language:OCaml36210

• WasmCert/WasmCert-Coq

  A mechanisation of Wasm in Coq

  Language:Coq10111

• dydxprotocol/solo

  dYdX V2 Margin Trading Protocol

  Language:TypeScript417157

• project-oak/oak

  Meaningful control of data in distributed systems.

  Language:Rust1.3k114

• CosmWasm/cosmwasm

  Framework for building smart contracts in Wasm for the Cosmos SDK

  Language:Rust1.1k344

• claudebarthels/infinity

  A lightweight C++ RDMA library for InfiniBand networks.

  Language:C++18144

• github/codeql-go

  The CodeQL extractor and libraries for Go.

  467125

• hwayne/lets-prove-leftpad

  Proving leftpad correct two-dozen different ways

  Language:SystemVerilog65362

• accordproject/ergo

  Programming Language for Smart Legal Contracts

  Language:Coq15855

• intel/linux-sgx

  Intel SGX for Linux*

  Language:C++1.3k548