Updated 2025-11-12 16:49:19 +09:00
Updated 2025-11-06 23:11:01 +09:00
Updated 2025-11-06 23:09:19 +09:00
Updated 2025-10-08 18:40:19 +09:00
Fish completion script for ideapad-perf
Updated 2025-10-03 18:28:41 +09:00
Updated 2025-09-30 18:17:42 +09:00
Updated 2025-09-23 01:27:26 +09:00
Updated 2025-09-15 10:44:23 +09:00
Updated 2025-08-29 00:22:54 +09:00
my scoop bucket
Updated 2025-08-24 08:49:37 +09:00
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
Theorem proving in lean
Updated 2025-06-05 17:49:40 +09:00
Updated 2025-06-05 06:51:07 +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