Michael Sproul

icon indicating a website link https://sproul.xyz/

icon company @sigp icon location Sydney, Australia icon location Building Ethereum at Sigma Prime. I like types, specs and proofs.

Results 4 repositories owned by Michael Sproul

aus_senate

27
Stars
1
Forks
Watchers

Implementation of the Australian senate voting algorithm

verified publisher icon michaelsproul

rust_radix_trie

173
Stars
33
Forks
Watchers

Fast generic radix trie implemented in Rust

verified publisher icon michaelsproul

autozfs

17
Stars
1
Forks
Watchers

Auto-mount ZFS external hard drives (macOS)

verified publisher icon michaelsproul

rust_sequence_trie

25
Stars
20
Forks
Watchers

Ergonomic trie data structure

verified publisher icon michaelsproul