A simple way to test different browser agents with multiple models

Go implementation of MEV-Auction for Ethereum

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

A free book: "The Science of Functional Programming"

property verification and testing examples presented in coordination20 paper

EVM in Why3 from a state transition perspective

Support for Miniscript and Output Descriptors for rust-bitcoin

Lightning Network Protocol Development Curriculum

Miniscript site and implementation

Lightning network probe

A book build system that produces PDF, EPUB and MOBI from asciidoc to Amazon specifications

Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

From Zero (Knowledge) to Bulletproofs - writeup

Repository for the book

Bitcoin Script Debugger

⟠ A curated list of awesome Solidity resources, libraries, tools and more

Project submission for Hackzurich 2017

OpenZeppelin, a framework to build secure smart contracts on Ethereum