Michael Sproul

rust_radix_trie. Fast generic radix trie implemented in Rust

rust_sequence_trie. Ergonomic trie data structure

aus_senate. Implementation of the Australian senate voting algorithm

autozfs. Auto-mount ZFS external hard drives (macOS)

bullshit. Simple horoscope generator in Python

xuino. Command-line Arduino toolkit [deprecated]

rust-nightly-archlinux. Unmaintained PKGBUILD generator for Rust

dblib-linear. Formalisation of the linear lambda calculus in Coq

bulk-pay-aus. Make batch payments from Australian banks

butter_db. Key-value database built on btrfs [UNUSABLE]

slashing-proofs. Formal proofs about Ethereum slashing protection strategies

gossip. Simulation of gossip with consensus

colourcat. Tool for distinctly colouring numbers, hashes and identifiers in log files

rust_nibble_vec. A data structure for storing a sequence of nibbles

ens-search. Find awesome Ethereum names with ease!

postgres-alloc-rs. Use the PostgreSQL allocator from Rust!

dummy_builder. No-op block builder for testing

eth2-scripts. Scripts for Eth2 node admin + analysis

PizzaML. Hopefully a Rust-like syntax for ML

nixos-desktop. Attempted NixOS configuration for my desktop...

arduino-power-monitor. Monitor household power usage with an Arduino.

safe-tla. TLA+ model of some SAFE network stuff

ssz-hs. Ethereum SSZ library for Haskell

optimising-attestation-packing-satalia. Joint project with Satalia on attestation packing https://lighthouse-blog.sigmaprime.io/optimising-attestation-packing.html

beacon_http_bench. Tools for benchmarking the HTTP API of an Ethereum beacon node

music-drm-game-theory. Game theory project on DRM in the music industry.

static_slice. Rust macro for static slices.

antifa. Build a Merkle tree for your files

swap-or-not-shuffle-isabelle. Formalisation of the swap-or-not shuffle used in Ethereum 2.0

usydrc. Sydney Uni exam results checker (now obsolete)

.files. Configuation files and symlink deploy script

bad-redirects. Mucking about with infinite redirects to break things.

background_iter. [WIP] Poll an iterator to completion in parallel on a background thread