My system nix flake configurations

Real-time Cardano chain event monitor - every on-chain event, live, in your browser.

Reproducible scripts used to find disqualifying transactions or blocks against alternate node implementations

Advent of Code 2020 - https://adventofcode.com/2020

An experimental formalization of the Cardano ledger, written in Lean, inspired by https://github.com/IntersectMBO/formal-ledger-specifications

A for-fun implementation of doom in rust

A simple rust echo server

Uses the cardano mini-protocols to receive every block and transaction, and save them to a configurable destination

This is a sample react/redux app. Originally built as a prototype under a verbal contract. After 2 years waiting for a payment, rather than litigate the remaining $2000, I decided to upload the cod…

A simple watermarking set