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-04-30 06:41:35 +02:00
f7ffc5cdf9 merge
9a270a3e1f flake.lock: Update
dcaebdb034 Merge branch 'main' of git.vatthauer.xyz:leonv/nixos
88bb64d98b greetd
Compare 4 commits »
leonv pushed to main at leonv/nixos 2024-04-30 06:38:56 +02:00
7b5e8dc4cd flake.lock: Update
leonv created branch main in leonv/agda-intro 2024-04-24 12:46:45 +02:00
leonv pushed to main at leonv/agda-intro 2024-04-24 12:46:45 +02:00
01ebc0a315 more changes
344477f21d removed agdai, add nix, add exercises
89c3877933 initial commit, some work done
leonv created repository leonv/agda-intro 2024-04-24 12:46:31 +02:00
leonv pushed to main at leonv/nixos 2024-04-15 14:24:20 +02:00
b7dcb8639b Added files subdomain, update resumee
leonv pushed to main at leonv/resumee-website 2024-04-15 14:17:43 +02:00
5cd0f5bb30 Fix icons
leonv pushed to main at leonv/resumee-website 2024-04-15 13:45:44 +02:00
61ab655821 Add logos, add nix to interests
leonv pushed to main at leonv/nixos 2024-04-14 14:35:31 +02:00
0566bb0001 flake.lock: Update
leonv pushed to main at leonv/nixos 2024-04-14 14:31:13 +02:00
92ef42073c merge
e65fa82189 flake.lock: Update
Compare 2 commits »
leonv pushed to main at leonv/nixos 2024-04-06 20:08:41 +02:00
7a1ae0d0d7 Website working.
f2a77125b7 Add website as submodule
Compare 2 commits »
leonv pushed to main at leonv/resumee-website 2024-04-06 19:51:03 +02:00
9516643a88 Add experience to menu
leonv pushed to main at leonv/resumee-website 2024-04-06 19:48:06 +02:00
121710d972 Adjust baseUrl
leonv pushed to main at leonv/resumee-website 2024-04-06 19:40:23 +02:00
5dafa6cb24 Remove Nix...
leonv pushed to main at leonv/resumee-website 2024-04-06 19:32:06 +02:00
28d4f1def2 nix
leonv pushed to main at leonv/resumee-website 2024-04-06 19:29:56 +02:00
37316dffa8 nix
leonv pushed to main at leonv/resumee-website 2024-04-06 19:28:01 +02:00
9b29f92c5c nix
leonv pushed to main at leonv/resumee-website 2024-04-06 19:24:36 +02:00
b3bf242f18 nix
leonv pushed to main at leonv/resumee-website 2024-04-06 19:20:29 +02:00
1d45217dbc nix
leonv pushed to main at leonv/resumee-website 2024-04-06 19:07:27 +02:00
de0202b025 try fix nix