Zero knowledge Crypto magic with Rust
Updated 2024-03-29 10:59:27 +00:00
free monoids & free commutative monoids
Updated 2024-03-29 10:59:45 +00:00
an assembly language with quantum instructions
Updated 2024-04-01 11:29:44 +00:00
The simplest Python calculator :D
Updated 2024-03-29 10:59:36 +00:00
arithmetic expression evaluation using reverse polish notation.
Updated 2024-04-12 09:22:15 +00:00
Algebraic graphs with Agda
Updated 2024-03-29 10:59:51 +00:00
transforming setoids to quotient sets
Updated 2024-03-29 11:00:02 +00:00
A ULID implementation in Nim!
Updated 2024-01-25 21:57:01 +00:00
Block API endpoints used for invasive telemetry and tracking on the Discord client.
Updated 2024-02-27 08:42:26 +00:00
A repository of scripts I use for my machine.
Updated 2024-03-10 16:47:40 +00:00
configuration for homemanager, this is a personal repo, but could also be used as a a template for saturnOS development
Updated 2024-01-22 06:28:19 +00:00
temporary configs from uranus to create modules after
Updated 2023-11-18 01:52:34 +00:00
an experiment with chatgpt's initial instructions
Updated 2023-08-16 09:30:42 +00:00
Updated 2023-07-27 12:48:16 +00:00
Updated 2023-07-25 10:42:24 +00:00