Michael Sproul's starred repositories
DeDRM_tools
DeDRM tools for ebooks
elm-format
elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide
rust-atomics-and-locks
Code examples, data structures, and links from my book, Rust Atomics and Locks.
bcachefs-tools
http://bcachefs.org
lambda_ethereum_consensus
Elixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerance
elm-oauth2
OAuth 2.0 client-side utils in Elm
DAppNodeSDK
dappnodesdk is a tool to mantain dappnode packages. It helps to initialize and publish an Aragon Package Manager Repository
reth-crawler
Reth crawler
grafana-dashboard-manager
Import and export Grafana dashboards for backup and dynamic provisioning
aos-reminders
Never forget your Age of Sigmar abilities again! Generate helpful in-game reminders tailored to your AoS army.
macro_state
A simple set of Rust proc macros for reading and writing global compile-time state between macro calls
DryadSynth
A SyGuS Solver
remerkleable
Typed mutable SSZ views over cached and immutable binary merkle trees
aos-statshammer
A tool for calculating and comparing damage outputs for Warhammer Age of Sigmar units.
WGSExtract-Dev
WGS Extract Developers Repository
elm-accessors
Accessors, a library implementing lenses for Elm.