Michael Sproul (@michaelsproul)
github

michaelsproul

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

rust_radix_trie

Fast generic radix trie implemented in Rust
Rust
174
star
2

aus_senate

Implementation of the Australian senate voting algorithm
Rust
27
star
3

rust_sequence_trie

Ergonomic trie data structure
Rust
24
star
4

autozfs

Auto-mount ZFS external hard drives (macOS)
C
17
star
5

bullshit

Simple horoscope generator in Python
Python
13
star
6

xuino

Command-line Arduino toolkit [deprecated]
Python
12
star
7

rust-nightly-archlinux

Unmaintained PKGBUILD generator for Rust
Python
11
star
8

dblib-linear

Formalisation of the linear lambda calculus in Coq
Coq
10
star
9

butter_db

Key-value database built on btrfs [UNUSABLE]
Rust
8
star
10

slashing-proofs

Formal proofs about Ethereum slashing protection strategies
Isabelle
7
star
11

gossip

Simulation of gossip with consensus
Rust
7
star
12

bulk-pay-aus

Make batch payments from Australian banks
Python
6
star
13

colourcat

Tool for distinctly colouring numbers, hashes and identifiers in log files
Rust
6
star
14

blockdreamer

Ethereum block hallucinator
Rust
6
star
15

rust_nibble_vec

A data structure for storing a sequence of nibbles
Rust
6
star
16

ens-search

Find awesome Ethereum names with ease!
Haskell
4
star
17

nixos-desktop

Attempted NixOS configuration for my desktop...
Nix
4
star
18

eth2-scripts

Scripts for Eth2 node admin + analysis
Python
4
star
19

postgres-alloc-rs

Use the PostgreSQL allocator from Rust!
Rust
4
star
20

ssz-hs

Ethereum SSZ library for Haskell
Haskell
3
star
21

dummy_builder

No-op block builder for testing
Rust
3
star
22

arduino-power-monitor

Monitor household power usage with an Arduino.
JavaScript
3
star
23

safe-tla

TLA+ model of some SAFE network stuff
TLA
3
star
24

PizzaML

Hopefully a Rust-like syntax for ML
Rust
3
star
25

optimising-attestation-packing-satalia

Joint project with Satalia on attestation packing https://lighthouse-blog.sigmaprime.io/optimising-attestation-packing.html
Rust
2
star
26

festivus

FESTIVUS - a data server for the rest of us! [inactive]
Rust
2
star
27

beacon_http_bench

Tools for benchmarking the HTTP API of an Ethereum beacon node
2
star
28

bletchley

Old school cryptography
Python
2
star
29

music-drm-game-theory

Game theory project on DRM in the music industry.
TeX
2
star
30

antifa

Build a Merkle tree for your files
Rust
2
star
31

aus_senate_site

Aus Senate Simulator 3000
Rust
2
star
32

usydrc

Sydney Uni exam results checker (now obsolete)
Python
2
star
33

household-power

Household power monitoring reborn with Rust + Raspberry Pi.
Rust
2
star
34

ethereum-share-house

Ethereum smart contract for sharehouse expense-sharing
Solidity
2
star
35

rust-simpl-db

Rusty single file database
Rust
2
star
36

swap-or-not-shuffle-isabelle

Formalisation of the swap-or-not shuffle used in Ethereum 2.0
Isabelle
2
star
37

.files

Configuation files and symlink deploy script
Vim Script
2
star
38

bad-redirects

Mucking about with infinite redirects to break things.
Rust
1
star
39

tpg-analyser

Scraper for TPG mobile usage data.
Haskell
1
star
40

blog

Crappy Old Blog (dull)
Ruby
1
star
41

radix_trie_benchmarks

Radix Trie Benchmarks for Rust, Go and Haskell.
Rust
1
star
42

rust-ffi-example

Minimal example for calling Rust from C
Makefile
1
star
43

xmlproc

Simple XML processor
C
1
star
44

card_shuffling

A simulation of some card shuffling algorithms for 500
Python
1
star
45

background_iter

[WIP] Poll an iterator to completion in parallel on a background thread
Rust
1
star
46

alertbot

Python
1
star
47

hiatus

Experimental concurrency debugging library for Rust
Rust
1
star
48

security-jam

Poppin' phresh shells.
C
1
star
49

blockgauge

Measure blockprint's accuracy with synthetic blocks
Rust
1
star
50

ewok

Simulator for a distributed fuzzy ordering algorithm
Rust
1
star
51

skarn

Selective File Sync
Rust
1
star
52

mordhelp

Mordheim helper app
Elm
1
star