A tool to show when an RPI course has been offered in the past, using quacs-data.
Updated 2024-05-05 03:25:06 +00:00
Updated 2024-05-04 23:29:48 +00:00
Updated 2024-05-02 20:26:48 +00:00
Updated 2024-04-27 18:00:37 +00:00
Updated 2024-04-27 01:37:33 +00:00
A Golang library and framework for the Discord API.
Updated 2024-04-24 06:13:22 +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-04-23 19:42:19 +00:00
arithmetic expression evaluation using reverse polish notation.
Updated 2024-04-12 09:22:15 +00:00
an assembly language with quantum instructions
Updated 2024-04-01 11:29:44 +00:00
transforming setoids to quotient sets
Updated 2024-03-29 11:00:02 +00:00
Algebraic graphs with Agda
Updated 2024-03-29 10:59:51 +00:00
free monoids & free commutative monoids
Updated 2024-03-29 10:59:45 +00:00
The simplest Python calculator :D
Updated 2024-03-29 10:59:36 +00:00
Zero knowledge Crypto magic with Rust
Updated 2024-03-29 10:59:27 +00:00