Aleo Request for Comments (ARCs)
Coda is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood
Java implementation of the Ethereum yellowpaper. For JSON-RPC and other client features check Ethereum Harmony
Create book from markdown files. Like Gitbook but implemented in Rust
A backend for `mdbook` which will check your links for you.
A gently curated list of companies using verification formal methods in industry
A Virtual Machine for Zero-Knowledge Executions
Solidity, the Smart Contract Programming Language
Common tests for all Ethereum implementations
The Little Book of Rust Macros
Tom's Obvious, Minimal Language
Web-based Generic Modeling Environment
Zcash Improvement Proposals