Also on aur
Updated 2025-08-07 21:38:30 +09:00
Updated 2025-08-07 05:50:55 +09:00
Also on AUR
Updated 2025-08-06 18:21:39 +09:00
Updated 2025-08-06 18:20:01 +09:00
Updated 2025-08-05 16:30:19 +09:00
Updated 2025-08-04 17:25:02 +09:00
Updated 2025-07-13 20:33:07 +09:00
Updated 2025-06-18 15:20:43 +09:00
Theorem proving in lean
Updated 2025-06-05 17:49:40 +09:00
Updated 2025-06-05 06:51:07 +09:00
my scoop bucket
Updated 2025-05-26 03:05:02 +09:00
Updated 2025-05-21 17:50:51 +09:00
Updated 2025-04-13 23:40:49 +09:00
Cross device backup manager. https://git.qwjyh.net/PKGBUILDs/xdbm
Updated 2025-04-09 23:49:55 +09:00
Updated 2025-04-08 09:18:34 +09:00
Updated 2025-03-01 10:14:23 +09:00
Updated 2025-02-10 21:35:08 +09:00
Updated 2025-01-29 01:51:04 +09:00