hugo-dc

hugo-dc's Stars

• mozilla/DeepSpeech

  DeepSpeech is an open source embedded (offline, on-device) speech-to-text engine which can run in real time on devices ranging from a Raspberry Pi 4 to high power GPU servers.

  Language:C++25.6k6742.1k4k

• theanalyst/awesome-distributed-systems

  A curated list to learn about distributed systems

  10.8k423111.5k

• timvisee/ffsend

  :mailbox_with_mail: Easily and securely share files from the command line. A fully featured Firefox Send client.

  Language:Rust7k4890188

• crytic/slither

  Static Analyzer for Solidity and Vyper

  Language:Python5.4k691.2k983

• pest-parser/pest

  The Elegant Parser

  Language:Rust4.7k42466264

• ballercat/walt

  :zap: Walt is a JavaScript-like syntax for WebAssembly text format :zap:

  Language:JavaScript4.6k11492122

• bytecodealliance/lucet

  Lucet, the Sandboxing WebAssembly Compiler.

  Language:Rust4.1k89164165

• ethereum/consensus-specs

  Ethereum Proof-of-Stake Consensus Specifications

  Language:Python3.6k243937997

• prysmaticlabs/prysm

  Go implementation of Ethereum proof of stake

  Language:Go3.5k1293.2k1k

• sigp/lighthouse

  Ethereum consensus client in Rust

  Language:Rust3k702k784

• notify-rs/notify

  🔭 Cross-platform filesystem notification library for Rust.

  Language:Rust2.8k30320228

• a16z/helios

  A fast, secure, and portable multichain light client for Ethereum

  Language:Rust1.9k28143327

• ethereum/fe

  Emerging smart contract language for the Ethereum blockchain.

  Language:Rust1.6k37408194

• crytic/evm-opcodes

  Ethereum opcodes and instruction reference

  1.3k4112219

• Consensys/surya

  A set of utilities for exploring Solidity contracts

  Language:JavaScript1.1k3069121

• randao/randao

  RANDAO: A DAO working as RNG of Ethereum

  Language:JavaScript8454117115

• altdesktop/i3-style

  🎨 Make your i3 config a little more stylish.

  Language:Rust676171928

• ethereum-optimism/cannon

  On chain interactive fault prover for Ethereum

  Language:Solidity5846377136

• ethereum/trin

  An Ethereum portal client: a json-rpc server with nearly instant sync, and low CPU & storage usage

  Language:Rust39720416134

• ethereum/evmc

  EVMC – Ethereum Client-VM Connector API

  Language:C35734164314

• ethereum/beacon_chain

  Language:Python210487565

• gate-computer/wag

  WebAssembly compiler implemented in Go

  Language:Go19292216

• kayagoban/shadowlands

  A Dapp platform and Ethereum terminal, entirely in Python.

  Language:Python14491210

• cartesi/machine-solidity-step

  The on-chain implementation of the Cartesi Machine

  Language:Solidity107231521

• MetaMask/eth-faucet

  MetaMask's test faucet

  Language:JavaScript80471549

• runtimeverification/wasm-semantics

  A Formal Semantics of WebAssembly in K

  Language:WebAssembly79247024

• umbracle/minimal

  Modular Ethereum client

  Language:Go7564113

• eth-sri/soltix

  SOLTIX: Scalable automated framework for testing Solidity compilers.

  Language:Java36708

• icefoxen/nanowasm

  A small standalone WebAssembly interpreter in Rust

  Language:Rust36480

• enriquefynn/ethereum-partitioning-experiments

  Experiments on sharding ethereum

  Language:C++8201