Firefish mirror
Updated 2024-04-13 17:35:25 +00:00
A tool to show when an RPI course has been offered in the past, using quacs-data.
Updated 2024-04-13 11:18:45 +00:00
My personal NixOS dotfiles repository. Untested for general use.
Updated 2024-04-13 03:18:21 +00:00
arithmetic expression evaluation using reverse polish notation.
Updated 2024-04-12 09:22:15 +00:00
Making small linux static binaries
Updated 2024-04-12 08:57:50 +00:00
A Golang library and framework for the Discord API.
Updated 2024-04-11 00:57:15 +00:00
Updated 2024-04-10 22:43:08 +00:00
hohohohohohohohoh
Updated 2024-04-10 17:16:21 +00:00
Updated 2024-04-10 10:06:14 +00:00
fork of jms55/bevy_dioxus
Updated 2024-04-08 22:30:56 +00:00
Tool to compress and run programs using dwarfs
Updated 2024-04-07 19:23:08 +00:00
Updated 2024-04-07 17:19:30 +00:00
an assembly language with quantum instructions
Updated 2024-04-01 11:29:44 +00:00
Updated 2024-03-31 22:08:19 +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
Removes shopping from a place where you look for a fucking pictures.
Updated 2024-03-24 19:47:31 +00:00