Samw's home environment, as managed by Nix and home-manager
Updated 2024-10-05 16:45:57 +01:00
Updated 2024-09-23 20:33:42 +01:00
Implementation of a prime sieve in Agda
Updated 2024-07-16 05:26:37 +01:00
Updated 2024-06-20 23:03:16 +01:00
Tell us what videos on this day require no recording and/or no streaming
Updated 2024-06-02 01:50:38 +01:00
Updated 2024-06-01 16:30:38 +01:00
Updated 2024-05-15 14:03:42 +01:00
Updated 2024-04-12 19:58:41 +01:00
Posts ISO7010 pictograms into the Fediverse
Updated 2024-03-30 21:45:31 +00:00
Updated 2024-01-26 14:27:21 +00:00
A prototyping tool for DEC terminals that use the LK201 keyboard
Updated 2023-10-05 00:25:00 +01:00
Updated 2023-09-15 02:52:57 +01:00
Updated 2023-08-18 19:04:18 +01:00
Automatic APT repositories for your .deb packages
Updated 2023-05-26 09:19:27 +01:00