leonv
0 followers · 0 following
  • Joined on 2023-05-31
Repositories
14
 Projects Packages Public activity Starred repositories
leonv created repository leonv/bsc-consolidated 2024-07-17 16:29:02 +02:00
leonv pushed to main at leonv/nixos 2024-07-17 14:52:34 +02:00
6db1f19027 flake.lock: Update
leonv pushed to main at leonv/nixos 2024-07-17 14:52:15 +02:00
873231511a fix workspaces and window title widgets
62b98fbdf5 add godot et al
Compare 2 commits »
leonv created repository leonv/lambda-holes 2024-07-09 10:07:46 +02:00
leonv pushed to main at leonv/nixos 2024-07-05 11:09:16 +02:00
5dbaa33035 flake.lock: Update
leonv pushed to main at Zusammenfassungen/topologie 2024-06-25 18:45:40 +02:00
c793ab1c50 kompaktheit
leonv pushed to main at Zusammenfassungen/topologie 2024-06-25 14:56:55 +02:00
f68e5672eb finish chp3
leonv pushed to main at leonv/nixos 2024-06-25 13:00:31 +02:00
748e4a4e96 add README
65ce9f116d add readme and try fix gtk4 theming
a00aed15d1 add readme and gparted
6144bd8786 remove printing and video
Compare 4 commits »
leonv pushed tag raspberrypi to leonv/nixos 2024-06-25 11:43:48 +02:00
leonv pushed to main at leonv/nixos 2024-06-25 11:42:23 +02:00
5d88905c2a remove darwin setup, update iso
8fa3aedaf7 liquid haskell
Compare 2 commits »
leonv pushed tag nixos-darwin to leonv/nixos 2024-06-25 11:29:06 +02:00
leonv pushed to main at leonv/nixos 2024-06-25 11:28:43 +02:00
6b9c7deb61 flake.lock: Update
leonv pushed to main at Zusammenfassungen/topologie 2024-06-20 16:04:31 +02:00
521285eedd sync
leonv pushed to main at Zusammenfassungen/topologie 2024-06-20 15:55:43 +02:00
fc0a6b6053 finish chp 1 and good progress on chp2
leonv created branch main in Zusammenfassungen/topologie 2024-06-19 12:18:02 +02:00
leonv pushed to main at Zusammenfassungen/topologie 2024-06-19 12:18:02 +02:00
0afce34147 initial commit, already worked on chp 1.1, 1.2
leonv created repository Zusammenfassungen/topologie 2024-06-19 12:17:49 +02:00
leonv pushed to main at leonv/nixos 2024-06-17 17:33:45 +02:00
523e8ea4d2 Revert
61ca79dbd1 Revert
a434afb90c Revert changes to dafoe (tried to generalize)
Compare 3 commits »
leonv pushed to main at leonv/nixos 2024-06-17 17:21:34 +02:00
240879c909 minor
leonv pushed to main at leonv/nixos 2024-06-17 17:13:26 +02:00
1219865a7f try generalizing?
c1a4c0b7bd try to improve code
Compare 2 commits »