Discover @michaelsproul Open Source projects

Michael Sproul (@michaelsproul)

michaelsproul

Stars
417
Global Rank 67,728 (Top 3 %)
Followers 308
Following 164
Registered over 11 years ago
Most used languages

Rust
47.1 %

Python
17.6 %

C
5.9 %

Haskell
5.9 %

Isabelle 3.9 %

Makefile 2.0 %

JavaScript
2.0 %

Vim Script
2.0 %

Coq 2.0 %

Ruby
2.0 %

Solidity
2.0 %

TLA 2.0 %

Elm
2.0 %

Nix
2.0 %

TeX
2.0 %
Location 🇦🇺 Australia
Country Total Rank 1,204
Country Ranking

Isabelle 1

TLA 1

Coq 3

Rust
39

Nix
41

Solidity
41

Elm
56

Haskell
118

Makefile 205

Vim Script
232

TeX
265

C
435

Python
807

Ruby
1,656

JavaScript
5,099

rust_radix_trie

Fast generic radix trie implemented in Rust

aus_senate

Implementation of the Australian senate voting algorithm

rust_sequence_trie

Ergonomic trie data structure

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

butter_db

Key-value database built on btrfs [UNUSABLE]

slashing-proofs

Formal proofs about Ethereum slashing protection strategies

gossip

Simulation of gossip with consensus

bulk-pay-aus

Make batch payments from Australian banks

colourcat

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

blockdreamer

Ethereum block hallucinator

rust_nibble_vec

A data structure for storing a sequence of nibbles

ens-search

Find awesome Ethereum names with ease!

nixos-desktop

Attempted NixOS configuration for my desktop...

eth2-scripts

Scripts for Eth2 node admin + analysis

postgres-alloc-rs

Use the PostgreSQL allocator from Rust!

ssz-hs

Ethereum SSZ library for Haskell

dummy_builder

No-op block builder for testing

arduino-power-monitor

Monitor household power usage with an Arduino.

safe-tla

TLA+ model of some SAFE network stuff

PizzaML

Hopefully a Rust-like syntax for ML

optimising-attestation-packing-satalia

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

festivus

FESTIVUS - a data server for the rest of us! [inactive]

beacon_http_bench

Tools for benchmarking the HTTP API of an Ethereum beacon node

bletchley

Old school cryptography

music-drm-game-theory

Game theory project on DRM in the music industry.

antifa

Build a Merkle tree for your files

aus_senate_site

Aus Senate Simulator 3000

usydrc

Sydney Uni exam results checker (now obsolete)

household-power

Household power monitoring reborn with Rust + Raspberry Pi.

ethereum-share-house

Ethereum smart contract for sharehouse expense-sharing

rust-simpl-db

Rusty single file database

swap-or-not-shuffle-isabelle

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

.files

Configuation files and symlink deploy script

bad-redirects

Mucking about with infinite redirects to break things.

tpg-analyser

Scraper for TPG mobile usage data.

blog

Crappy Old Blog (dull)

radix_trie_benchmarks

Radix Trie Benchmarks for Rust, Go and Haskell.

rust-ffi-example

Minimal example for calling Rust from C

xmlproc

Simple XML processor

card_shuffling

A simulation of some card shuffling algorithms for 500

background_iter

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

alertbot

hiatus

Experimental concurrency debugging library for Rust

security-jam

Poppin' phresh shells.

blockgauge

Measure blockprint's accuracy with synthetic blocks

ewok

Simulator for a distributed fuzzy ordering algorithm

skarn

Selective File Sync

mordhelp

Mordheim helper app