Self-hosted game stream host for Moonlight.

A playground for thinking about what Rust could be like

Tools for Yul.

Smart contract debugging data format – Standards development working group

Wine-wayland allows playing DX9/DX11 and Vulkan games using pure wayland and Wine/DXVK.

Hardhat plugin to develop smart contracts with Fe

A collection of my work done in the emerging smart contract language: Fe

K Semantics of the Ethereum Virtual Machine (EVM)

Emerging smart contract language for the Ethereum blockchain.

🌴 Empowering everyone to build reliable and efficient smart contracts.

Project Wyvern Ethereum Smart Contracts

Get paid to break things

Get paid to break things

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

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

Explore from the safety of your shell

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

Smart contract specification language

Pure Rust implementation of Ethereum Virtual Machine

The Trinity client for the Eth2 network

Python bindings for rust rlp

Vitalik's annotated eth2 spec. Not intended to be "the" annotated spec; other documents like Ben Edgington's https://benjaminion.xyz/eth2-annotated-spec/ also exist. This one is intended to focus m…

A Vyper compiler in Coq (just started)

Eth2 testnet metadata files

The Trinity client for the Ethereum network

💻 ☕ List of Awesome Hacking Locations, organised by Country and City, listing if it features power and wifi