Robert Ricci's repositories
coredns-mdns
CoreDNS plugin that serves .local mDNS info over normal DNS
github-api-test
Test repository, just for experimenting with github API
heaphopper
HeapHopper is a bounded model checking framework for Heap-implementations
Kaleidoscope-Heatmap
Heatmap LED effect for Kaleidoscope.
Mailspring-Theme-nord-dark
A starting point for creating your own custom Mailspring themes!
Model01-Firmware
The "standard" Keyboardio Model 01 Firmware sketch.
mutt-ical
Scripts for helping mutt deal with iCalendar data.
nixos-hardware
A collection of NixOS modules covering hardware quirks.
nixvim
Configure Neovim with Nix!
npbench
NPBench - A Benchmarking Suite for High-Performance NumPy
pets.nvim
Display pets in your editor 🐱
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
repro-in-cs
Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)
send-delayed-mail
A script that allows mail to be scheduled for later disptach, meant for use clients like mutt
ssh-runner
KDE KRunner plugin for starting SSH connections
sysartifacts.github.io
Website for Artifact Evaluation at EuroSys, SOSP, OSDI