Patrick Robinson's repositories
go-greynoise
A library to use the Greynoise API
avgtime
Like unix 'time' command, but with repetitions, median, std deviation
hist-cli
Commandline tool for plotting frequency ranked histograms of TSV/CSV data
hub-enum
Enumerates user's SSH Public Keys on Github and stores them in Redis for reverse lookups
network-bridge-rs
Rust crate for managing network bridges
nth_prime
A solution to Exercism nth prime exercise with TLA+ proof
org_search
Organisation searching for Github
patrobinson.github.com
Personal blog
polars-ruby
Blazingly fast DataFrames for Ruby
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
ravgtime
`time` but with distribution metrics
redis-client
Simple low level client for Redis 6+
seal
This is a Slack bot that publishes a team's pull requests to their Slack Channel, once provided the organisation name, the team members' github names, and a list of repos to follow. It is my first 20% project at GDS.
site-policy
Collaborative development on GitHub's site policies, procedures, and guidelines
vector
A high-performance, highly reliable, observability data pipeline.