Roxy, a command line static site generator
Updated 2024-02-22 06:39:08 +00:00
source files for the roxy documentation site
Updated 2024-02-22 06:44:03 +00:00
Block API endpoints used for invasive telemetry and tracking on the Discord client.
Updated 2024-02-27 08:42:26 +00:00
Nintendo higher-ups, please die a forever painful death involving cars covered in hammers that explode more than a few times and hammers go flying everywhere
Updated 2024-02-27 22:49:19 +00:00
Nintendo higher-ups, please die a forever painful death involving cars covered in hammers that explode more than a few times and hammers go flying everywhere
Updated 2024-03-03 11:39:55 +00:00
Updated 2024-03-09 18:13:38 +00:00
Updated 2024-03-10 00:31:25 +00:00
A website of assorted information and projects of interest
Updated 2024-03-10 00:31:25 +00:00
A repository of scripts I use for my machine.
Updated 2024-03-10 16:47:40 +00:00
Updated 2024-03-13 23:59:06 +00:00
A spec compliant CSV parser in a (mostly) bare minimum of lines
Updated 2024-03-17 16:41:37 +00:00
A parser, interpretter, and compiler for a functional programming language with the same grammar as JSON.
Updated 2024-03-17 17:44:33 +00:00
Removes shopping from a place where you look for a fucking pictures.
Updated 2024-03-24 19:47:31 +00:00
Zero knowledge Crypto magic with Rust
Updated 2024-03-29 10:59:27 +00:00
The simplest Python calculator :D
Updated 2024-03-29 10:59:36 +00:00
free monoids & free commutative monoids
Updated 2024-03-29 10:59:45 +00:00
Algebraic graphs with Agda
Updated 2024-03-29 10:59:51 +00:00