Colonial-Dev

Card-carrying member of the Very Computer; enjoyer of the high frontier

Indiana, US

Pinned Repositories

advent_of_code
My Advent of Code solutions.
Language:Rust2 2 00
deduct
A Fitch-style natural deduction proof checker, with support for modal logic.
Language:Rust4 2 01
exemplar
A boilerplate eliminator for rusqlite.
Language:Rust9 2 30
fishtank
[WIP] A simple container manager for the Fish shell.
Language:Shell5 1 02
inkjet
A batteries-included syntax highlighting library for Rust, based on tree-sitter.
Language:C70 4 185
lib_aoc
A simple trait-based framework for the annual Advent of Code programming challenge.
Language:Rust2 2 00
satpaper
Display near-real-time satellite imagery on your desktop.
Language:Rust181 4 911
vcard-qr
Generate basic VCard QR codes from the command line.
Language:Rust17 3 22
VEX-21417B
Code for team 21417B's bot.
Language:C3 2 01
WayAFK
A BetterDiscord plugin that fixes AFK detection under Wayland display servers.
Language:JavaScript19 2 20

Colonial-Dev's Repositories

Colonial-Dev/satpaper
Display near-real-time satellite imagery on your desktop.
Language:Rust181 4 911
Colonial-Dev/inkjet
A batteries-included syntax highlighting library for Rust, based on tree-sitter.
Language:C70 4 185
Colonial-Dev/WayAFK
A BetterDiscord plugin that fixes AFK detection under Wayland display servers.
Language:JavaScript19 2 20
Colonial-Dev/vcard-qr
Generate basic VCard QR codes from the command line.
Language:Rust17 3 22
Colonial-Dev/exemplar
A boilerplate eliminator for rusqlite.
Language:Rust9 2 30
Colonial-Dev/box
A script-based interactive container manager.
Language:Rust7 1 02
Colonial-Dev/deduct
A Fitch-style natural deduction proof checker, with support for modal logic.
Language:Rust4 2 01
Colonial-Dev/VEX-21417B
Code for team 21417B's bot.
Language:C3 2 01
Colonial-Dev/advent_of_code
My Advent of Code solutions.
Language:Rust2 2 00
Colonial-Dev/lib_aoc
A simple trait-based framework for the annual Advent of Code programming challenge.
Language:Rust2 2 00
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.
Language:C#2 2 01
Colonial-Dev/hyperdeck
Rust firmware for my Hyperdeck macropad project.
Language:Rust1 2 0
Colonial-Dev/cryptopals
My shot at the Cryptopals Crypto(graphy) Challenges.
Language:Rust2 0
Colonial-Dev/feeder
Source code for my basic automatic cat feeder.
Language:Python1 0
Colonial-Dev/hackathon
A simple document summarizer and interrogater. Won first place in the Fall 2024 Luddy Hackathon.
Language:HTML1 0
Colonial-Dev/micro
A modern and intuitive terminal-based text editor
Colonial-Dev/pimoroni-pico
Libraries and examples to support Pimoroni Pico add-ons in C++ and MicroPython.
Language:C0 0
Colonial-Dev/worldping
Command-line tool for pinging the entire IPv4 address space.
Language:Rust2 0

Colonial-Dev

Pinned Repositories

advent_of_code

deduct

exemplar

fishtank

inkjet

lib_aoc

satpaper

vcard-qr

VEX-21417B

WayAFK

Colonial-Dev's Repositories

Colonial-Dev/satpaper

Colonial-Dev/inkjet

Colonial-Dev/WayAFK

Colonial-Dev/vcard-qr

Colonial-Dev/exemplar

Colonial-Dev/box

Colonial-Dev/deduct

Colonial-Dev/VEX-21417B

Colonial-Dev/advent_of_code

Colonial-Dev/lib_aoc

Colonial-Dev/Rimworld-Mod-Archive

Colonial-Dev/hyperdeck

Colonial-Dev/cryptopals

Colonial-Dev/feeder

Colonial-Dev/hackathon

Colonial-Dev/micro

Colonial-Dev/pimoroni-pico

Colonial-Dev/worldping