paul
1 Followers · 0 Following
Repositories
18
 Projects Packages Public Activity Starred Repositories
paul pushed to feature/search at paul/utoy 2025-02-22 11:26:33 +01:00
61355405d5 Implement search
d698ebce72 Bump nixpkgs
Compare 2 commits »
paul created branch feature/search in paul/utoy 2025-02-22 11:26:33 +01:00
paul opened issue paul/utoy#2 2025-02-20 14:56:06 +01:00
Move to cabal
paul opened issue paul/utoy#1 2025-02-20 14:53:18 +01:00
Add search
paul pushed to main at paul/infrastructure 2025-01-26 01:05:21 +01:00
b666c5f43c Bump gitea
088690fe83 Add Project Zomboid server
Compare 2 commits »
paul pushed to main at paul/infrastructure 2025-01-24 22:58:43 +01:00
a59982b463 Delete unused stuff
c3191eb3b8 Add utoy and vrnp
1ed7f15885 Bump Ansible
65d7f868d2 Make codi work on nanna
c484a08a14 Make Caddy, Gitea and Codi work on nanna
Compare 7 commits »
paul pushed to main at paul/infrastructure 2024-08-07 13:21:22 +02:00
4e8d983ba9 Bump pbrinkmeier.de
paul pushed to master at paul/pbrinkmeier.de 2024-08-07 11:49:41 +02:00
bab3208e61 Add bezier demo
paul pushed to main at paul/infrastructure 2024-08-03 00:47:50 +02:00
dc5f3fda2e Add vrnp service
e0a0ddc624 Bump pbrinkmeier.de
Compare 2 commits »
paul pushed to master at paul/pbrinkmeier.de 2024-08-03 00:43:17 +02:00
f5a53bdcc1 Add barycentric demo
paul pushed to pbrinkmeier/create-downloads-dir at paul/arduino-nix 2024-07-26 11:26:25 +02:00
21925d28f0 Remove --build-property flag
paul pushed to pbrinkmeier/create-downloads-dir at paul/arduino-nix 2024-07-26 11:11:28 +02:00
15b1037b5a Ensure that downloads folder exists
paul pushed to pbrinkmeier/create-downloads-dir at paul/arduino-nix 2024-07-26 11:09:46 +02:00
4e7b03c37d Ensure that downloads folder exists
paul pushed to pbrinkmeier/create-downloads-dir at paul/arduino-nix 2024-07-26 05:00:53 +02:00
b2adfebfa7 Ensure that downloads folder exists
paul pushed to pbrinkmeier/create-downloads-dir at paul/arduino-nix 2024-07-26 04:59:36 +02:00
42a281057d Ensure that downloads folder exists
paul pushed to pbrinkmeier/create-downloads-dir at paul/arduino-nix 2024-07-26 04:06:24 +02:00
50e5a94994 Ensure that downloads folder exists
paul pushed to master at paul/pbrinkmeier.de 2024-07-25 19:17:06 +02:00
c695f27186 Change 18xx example
paul pushed to main at paul/opium 2024-07-03 17:01:04 +02:00
d6703f9646 Add tuple decoding into multiple records
paul pushed to main at paul/opium 2024-07-03 11:22:21 +02:00
6d3b1e660a Slightly change readme example code
paul pushed to main at paul/opium 2024-07-03 11:12:10 +02:00
97e5d9e61c Add Maybe as possible row container type
56585dd5f1 Make the container type for fetch customizable
Compare 2 commits »