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
Agda regular expression library
Updated 2024-09-13 11:39:18 +01:00
Implementation of a prime sieve in Agda
Updated 2024-07-16 05:26:37 +01:00
Control APC PDUs over MQTT
Updated 2024-06-24 16:10:51 +01:00
Exploration of thinnings in Agda
Updated 2024-06-24 00:21:33 +01:00
Updated 2024-06-20 23:03:16 +01:00
Updated 2024-06-20 22:21:27 +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
samw/iso7010-a-day
Posts ISO7010 pictograms into the Fediverse
Updated 2024-03-30 21:45:31 +00:00
Updated 2024-01-26 14:27:21 +00:00
Samw's Nix flake templates
Updated 2023-10-11 15:00:26 +01: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
Control DDC-capable monitors over MQTT
Updated 2023-07-04 22:30:16 +01:00
Automatic APT repositories for your .deb packages
Updated 2023-05-26 09:19:27 +01:00