Stars
Repository for the setup of the Tezos test network infrastructure
[Archived] Tezos developer docs; see https://gitlab.com/tezos/docs
Michelson VM and Tezos OS rewritten in Rust
Scripts to start and stop Tezos Nodes and Bakers. Also scripts to setup and maintain nodes on Mondaynet and Dailynet.
Concurrent Programming with Effect Handlers
Coq tactics for certification of the results of SSL-based program synthesis via Hoare Type Theory.
A framework for smart contract verification in Coq
TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus
Smart contract hacking challenge introduced in my talk at DEFCON 28 - Blockchain Village
Formal Verification of Merckle Proof algorithm in Coq
Code used for the yearly calculations of CO2e from Bitcoin mining
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
QuickCheck utilities to generate structured data.
Branching processes for QuickCheck generators
Implementation of the BLS12-381 pairing-friendly elliptic curve group
QuickCheck inspired property-based testing for OCaml.
An informative and fancy bash prompt for Git users
Tezos node/shell in Rust. Unfortunately dev has ceased. If you are interested in resurrecting, please contact @drchrispinnock
A Library for Representing Recursive and Impure Programs in Coq
A framework for implementing and certifying impure computations in Coq
Cryptographic Primitive Code Generation by Fiat