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

A fast, secure, and portable light client for Ethereum

EVMC – Ethereum Client-VM Connector API

On chain interactive fault prover for Ethereum

Emerging smart contract language for the Ethereum blockchain.

🎨 Make your i3 config a little more stylish.

The on-chain implementation of the Cartesi Machine

🔭 Cross-platform filesystem notification library for Rust.

Modular Ethereum client

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

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.

Lucet, the Sandboxing WebAssembly Compiler.

SOLTIX: Scalable automated framework for testing Solidity compilers.

A Dapp platform and Ethereum terminal, entirely in Python.

WebAssembly compiler implemented in Go

A curated list to learn about distributed systems

Static Analyzer for Solidity and Vyper

A Prototype Formal Semantics of WebAssembly in K

Ethereum Proof-of-Stake Consensus Specifications

A small standalone WebAssembly interpreter in Rust

RANDAO: A DAO working as RNG of Ethereum

⚡ Walt is a JavaScript-like syntax for WebAssembly text format ⚡

The Elegant Parser

Go implementation of Ethereum proof of stake

Experiments on sharding ethereum

MetaMask's test faucet

Ethereum consensus client in Rust

A set of utilities for exploring Solidity contracts

Ethereum opcodes and instruction reference