Lean Ethereum protocol specifications and test vector generation framework.

Pixel art editor made with Zig.

Ethereum Lean client in Zig (wip)

High performance Ethereum consensus client

The quadplay✜ fantasy console

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

Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.

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

A fast, secure, and portable multichain 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 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