leonv
0 followers · 0 following
  • Joined on 2023-05-31
Repositories
14
 Projects Packages Public activity Starred repositories
leonv pushed to main at leonv/nixos 2024-05-13 09:00:37 +02:00
e139a21c40 fix workspace
leonv pushed to main at leonv/nixos 2024-05-13 08:50:20 +02:00
3421abd775 add doom to nixos config
leonv pushed to main at leonv/nixos 2024-05-13 08:43:40 +02:00
b71ddcf501 setup cups
leonv pushed to main at leonv/nixos 2024-05-13 08:42:29 +02:00
e178582553 merge
f09500b5e3 flake.lock: Update
Compare 2 commits »
leonv pushed to main at leonv/nixos 2024-05-13 08:40:14 +02:00
5c2a2c611b add hypridle+lock, setup printing, make eww a toggle
30021a9998 flake.lock: Update
Compare 2 commits »
leonv pushed to main at leonv/nixos 2024-05-10 16:35:48 +02:00
d10761f8de disable eww, change wallpaper, add hotkeys
leonv pushed to main at leonv/nixos 2024-05-08 16:36:03 +02:00
44aa8ae7ec static ipv6
leonv pushed to main at leonv/nixos 2024-05-08 12:20:47 +02:00
dae80a3779 rename vaultwarden
leonv pushed to main at leonv/nixos 2024-05-08 11:09:28 +02:00
deca1f5881 change website to www and reenable it
leonv pushed to main at leonv/nixos 2024-05-08 11:03:27 +02:00
1fd4e939a1 added dafoe
leonv pushed to main at leonv/cv 2024-05-07 08:20:28 +02:00
1ac8cd8653 add cv to git
leonv created branch main in leonv/cv 2024-05-07 08:20:27 +02:00
leonv created repository leonv/cv 2024-05-07 08:20:17 +02:00
leonv pushed to main at leonv/agda-gset 2024-05-06 16:24:54 +02:00
366f03a8b0 minor
leonv pushed to main at leonv/agda-gset 2024-05-05 14:43:40 +02:00
5681699e63 Implement homework
leonv pushed to main at leonv/agda-gset 2024-05-04 15:02:05 +02:00
e5cdeaee38 work on gsets category
leonv created branch main in leonv/agda-gset 2024-05-04 14:24:48 +02:00
leonv pushed to main at leonv/agda-gset 2024-05-04 14:24:48 +02:00
12e3092a17 initial
leonv created repository leonv/agda-gset 2024-05-04 14:24:21 +02:00
leonv pushed to main at leonv/agda-intro 2024-04-30 12:31:29 +02:00
fe0f8a6744 minor