Pinned Repositories
advent_of_code
My Advent of Code solutions.
deduct
A Fitch-style natural deduction proof checker, with support for modal logic.
exemplar
A boilerplate eliminator for rusqlite.
inkjet
A batteries-included syntax highlighting library for Rust, based on tree-sitter.
lib_aoc
A simple trait-based framework for the annual Advent of Code programming challenge.
Rimworld-Mod-Archive
This repository contains the source and assets for all of my old Rimworld mods, which are no longer actively developed.
satpaper
Display near-real-time satellite imagery on your desktop.
vcard-qr
Generate basic VCard QR codes from the command line.
VEX-21417B
Code for team 21417B's bot.
WayAFK
A BetterDiscord plugin that fixes AFK detection under Wayland display servers.
Colonial-Dev's Repositories
Colonial-Dev/satpaper
Display near-real-time satellite imagery on your desktop.
Colonial-Dev/inkjet
A batteries-included syntax highlighting library for Rust, based on tree-sitter.
Colonial-Dev/vcard-qr
Generate basic VCard QR codes from the command line.
Colonial-Dev/WayAFK
A BetterDiscord plugin that fixes AFK detection under Wayland display servers.
Colonial-Dev/exemplar
A boilerplate eliminator for rusqlite.
Colonial-Dev/lib_aoc
A simple trait-based framework for the annual Advent of Code programming challenge.
Colonial-Dev/VEX-21417B
Code for team 21417B's bot.
Colonial-Dev/advent_of_code
My Advent of Code solutions.
Colonial-Dev/Rimworld-Mod-Archive
This repository contains the source and assets for all of my old Rimworld mods, which are no longer actively developed.
Colonial-Dev/FTL
A sorta-static site generator and server.
Colonial-Dev/hyperdeck
Rust firmware for my Hyperdeck macropad project.
Colonial-Dev/deduct
A Fitch-style natural deduction proof checker, with support for modal logic.
Colonial-Dev/pocket-dimension
An interactive container manager with strictly opt-in host integrations.
Colonial-Dev/book
The Rust Programming Language
Colonial-Dev/cryptopals
My shot at the Cryptopals Crypto(graphy) Challenges.
Colonial-Dev/rust
Empowering everyone to build reliable and efficient software.
Colonial-Dev/worldping
Command-line tool for pinging the entire IPv4 address space.