acoglio

acl2

ACL2 System and Books as Maintained by the Community

workshop

📜 A starter guide to build applications on Aleo 📜

yellowpaper

The "Yellow Paper": Ethereum's formal specification

acoglio.github.io

ARCs

Aleo Request for Comments (ARCs)

coda

Coda is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.

ethereumbook

Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood

ethereumj

Java implementation of the Ethereum yellowpaper. For JSON-RPC and other client features check Ethereum Harmony

iden3-docs

iden3 documentation

leo-sorting

mdBook

Create book from markdown files. Like Gitbook but implemented in Rust

mdbook-linkcheck

A backend for `mdbook` which will check your links for you.

practical-fm

A gently curated list of companies using verification formal methods in industry

risc-v

snarkVM

A Virtual Machine for Zero-Knowledge Executions

solidity

Solidity, the Smart Contract Programming Language

tests

Common tests for all Ethereum implementations

tlborm

The Little Book of Rust Macros

toml

Tom's Obvious, Minimal Language

webgme

Web-based Generic Modeling Environment

zips

Zcash Improvement Proposals