Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.

The tail of Cardano

Rust-native building blocks for the Cardano blockchain ecosystem

Read-optimized cache of Cardano on-chain entities

Legacy code connected to the high-assurance implementation of the Ouroboros protocol family

Go implementation of the Cardano Ouroboros family of protocols

Watchtower for Git: automatically keep local Git repositories up to date with their remotes

Implementation of a Consensus Layer for the Ouroboros family of protocols

Event-driven tool/library for tailing the Cardano blockchain

Cardano Blockchain Data Node

Multi-protocol API for interfacing with a local Cardano node

Formalization of the Cardano ledger specification

My quine programs : ) Including ASCII Art quine, normal quines and Ouroboros quines. Written in C, CPP, Ruby and Python

Docker compose files for services

Experimental blockchain node, written in Rust, with the initial aim to support Ouroboros

Ouroboros protocols in Lean4

High-assurance implementation of the Ouroboros protocol family

Wittgenstein simulator extended for simulation of Harmony, Solana and Ouroboros blockchains. Entire application is containerized in docker.

Updating containers with Ouroboros code repo

Neuroglancer integrated into the Ouroboros medical imaging application.