Specifications of network protocols and implementations of components ru...
The tail of Cardano
Legacy code connected to the high-assurance implementation of the Ourobo...
Watchtower for Git: automatically keep local Git repositories up to date...
High-assurance implementation of the Ouroboros protocol family