leonv
0 followers · 0 following
  • Joined on 2023-05-31
Repositories
14
 Projects Packages Public activity Starred repositories
leonv pushed to main at leonv/resumee-website 2024-04-06 18:56:56 +02:00
9678de017e More nix fuckery...
leonv pushed to main at leonv/resumee-website 2024-04-06 18:56:13 +02:00
ea890571c4 More nix fuckery...
leonv pushed to main at leonv/resumee-website 2024-04-06 18:38:11 +02:00
99ef22140d nix fuckery...
leonv pushed to main at leonv/resumee-website 2024-04-06 17:54:27 +02:00
e34d5fb0fa Add hacky nix workaround
leonv pushed to main at leonv/resumee-website 2024-04-06 17:53:38 +02:00
86e8a2e916 Add hacky nix workaround
leonv pushed to main at leonv/resumee-website 2024-04-06 17:40:01 +02:00
595c00995c improve flake
ff9baa852e Add flake
Compare 2 commits »
leonv pushed to main at leonv/nixos 2024-04-06 16:45:05 +02:00
dde5d3a0b3 Merge branch 'main' of git.vatthauer.xyz:leonv/nixos
043e34ff3d Add resumee-website
Compare 2 commits »
leonv pushed to main at leonv/resumee-website 2024-04-06 16:42:55 +02:00
da26393e34 Remove gh workflows
leonv created branch main in leonv/resumee-website 2024-04-06 16:42:28 +02:00
leonv pushed to main at leonv/resumee-website 2024-04-06 16:42:28 +02:00
c130974d1f Update experiences
ce6788773b Fix logos
c6ef5edfb6 Added experiences
5ba97937ce Change projects view
6236c49faf Add projects
Compare 10 commits »
leonv created repository leonv/resumee-website 2024-04-06 16:42:06 +02:00
leonv pushed to main at leonv/nixos 2024-04-06 07:51:38 +02:00
2eb4b0f1bc flake.lock: Update
leonv pushed to main at leonv/nixos 2024-04-06 07:44:46 +02:00
b494c3cbe3 merge
796366910b flake.lock: Update
Compare 2 commits »
leonv pushed to main at leonv/nixos 2024-04-06 07:42:09 +02:00
61cec49a5e change DM to tuigreet
leonv pushed to main at CategoryTheory/algprog 2024-04-05 19:27:24 +02:00
59b2631a13 Work on bisimilarity
leonv pushed to main at CategoryTheory/algprog 2024-04-02 16:09:40 +02:00
43ad4706b0 Add second example exam
leonv pushed to main at CategoryTheory/algprog 2024-04-02 11:42:09 +02:00
568cc110a9 spelling
leonv pushed to main at CategoryTheory/algprog 2024-04-02 11:40:30 +02:00
2eabecda8f minor
leonv pushed to main at CategoryTheory/algprog 2024-04-02 10:39:39 +02:00
cce33d138a Added example exam
leonv pushed to main at CategoryTheory/algprog 2024-03-31 12:54:37 +02:00
78cd9676f4 Work on colimits