rhi
0 followers · 0 following
  • Joined on 2020-06-11
Repositories
32
 Projects Packages Public activity Starred repositories
rhi pushed to main at rhi/nisspkgs 2025-04-14 20:41:04 +02:00
51efb95a1e agda-prelude-niss
rhi pushed to main at rhi/nisspkgs 2025-04-14 20:35:55 +02:00
0754008152 agda-prelude-niss
rhi pushed to main at rhi/agda-prelude 2025-04-14 20:21:19 +02:00
d4ad218f83 various updates
rhi pushed to main at rhi/nisspkgs 2025-04-05 00:08:53 +02:00
66178011aa update readme
rhi pushed to main at rhi/nisspkgs 2025-04-05 00:08:28 +02:00
0ad81e7f47 update readme
rhi pushed to main at rhi/nisspkgs 2025-04-05 00:04:48 +02:00
f970c6621a justStaticExecutables
rhi pushed to main at rhi/nisspkgs 2025-04-04 23:49:44 +02:00
3c03898977 add ips package
rhi pushed to main at rhi/ips 2025-04-04 23:47:35 +02:00
6a8c937d24 dependency bumps
6756c1f186 make error slightly nicer
9e9788f88b haha what
Compare 3 commits »
rhi pushed to main at rhi/nisspkgs 2025-04-02 21:28:43 +02:00
1ccbf13a31 move script descriptions to readme
rhi pushed to main at rhi/nisspkgs 2025-04-02 19:17:32 +02:00
1dde09e276 make the scripts executable
rhi pushed to main at rhi/nisspkgs 2025-04-02 19:08:30 +02:00
1647556eb0 more fixes that only surface when used lol
rhi pushed to main at rhi/nisspkgs 2025-04-02 19:02:03 +02:00
c35a67f490 oops
4a9e524f66 add silly little scripts
Compare 2 commits »
rhi pushed to main at rhi/nisspkgs 2025-04-02 19:01:12 +02:00
a02f108b75 add silly little scripts
e616d19a15 flake.nix refactor
Compare 2 commits »
rhi pushed to 🌐 at rhi/yummy.cricket 2025-03-12 00:28:50 +01:00
638dbaad11 cube face bg
c3628c647b new mathie button
3e7c728039 fix uploading for new server
ba3e305260 foxis button
Compare 4 commits »
rhi pushed to main at rhi/nisspkgs 2025-03-03 23:05:16 +01:00
1750b315b4 readme
rhi pushed to main at rhi/nisspkgs 2025-03-03 23:03:38 +01:00
8228b441af readme
rhi pushed to main at rhi/nisspkgs 2025-03-03 22:40:02 +01:00
bf3111d84f add inkscape-xwayland
rhi pushed to main at rhi/nisspkgs 2025-03-03 22:34:35 +01:00
5323992f5b first
rhi pushed to main at rhi/nisspkgs 2025-03-03 22:34:24 +01:00
2203a06c02 first
rhi created branch main in rhi/nisspkgs 2025-03-03 22:30:52 +01:00