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
My personal NixOS dotfiles repository. Untested for general use.
Updated 2024-03-26 02:52:36 +00:00
fork of jms55/bevy_dioxus
Updated 2024-03-25 02:40:08 +00:00
Removes shopping from a place where you look for a fucking pictures.
Updated 2024-03-24 19:47:31 +00:00
A tool to show when an RPI course has been offered in the past, using quacs-data.
Updated 2024-03-18 06:28:05 +00:00
Updated 2024-03-18 00:07:48 +00:00
Firefish mirror
Updated 2024-03-17 18:47:57 +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
A spec compliant CSV parser in a (mostly) bare minimum of lines
Updated 2024-03-17 16:41:37 +00:00
My fedora linux configuration files
Updated 2024-03-17 00:22:48 +00:00
Updated 2024-03-16 20:16:25 +00:00
Tool to compress and run programs using dwarfs
Updated 2024-03-16 14:27:41 +00:00
Updated 2024-03-14 01:32:18 +00:00
Updated 2024-03-13 23:59:06 +00:00
kids love those!
Updated 2024-03-11 12:59:23 +00:00
Updated 2024-03-11 06:57:07 +00:00