ricky's starred repositories
actionlint
:octocat: Static checker for GitHub Actions workflow files
selfhosted-gateway
Self-hosted Docker native tunneling to localhost. Expose local docker containers to the public Internet via a simple docker compose interface.
slack-github-action
Send data into Slack using this GitHub Action!
freshfetch
A fresh take on neofetch
awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
rust-bip39
A Rust library for working with Bitcoin BIP-39 mnemonics
SD-Installer-Win64_MiSTer
MiSTer SD card installer (Windows 64bit)
mister_kun
I wanted to cut a vinyl decal of the mascot for the MiSTer FPGA project, but couldn't find a clean copy on the web. So I decided to use the favicon and the low-res sample I found and remaster it for everyone to use. Rather than submit this directly to the MiSTer GitHub repository, I decided to host it as its own project for people to use.