Repositories Users Organizations
leonv/ nixos
Nix 0 0
The nix configurations for my systems.
Updated 2025-04-19 19:48:36 +02:00
leonv/ Sudoku
Haskell 0 0
An implementation of Sudoku including a solver in Haskell. The goal is to create a WebApp later on.
Updated 2025-04-08 23:50:36 +02:00
TypeTheory/ loprog
0 0
a prolog implemented in haskell
Updated 2025-04-08 23:43:20 +02:00
Zusammenfassungen/ bs
TeX 0 0
Zusammenfassung für "Betriebssysteme" im WS24/25
Updated 2025-02-24 16:20:31 +01:00
leonv/ FuxenkneipeWS2425
0 0
Updated 2025-01-24 00:45:27 +01:00
Zusammenfassungen/ ai1
TeX 0 0
Updated 2024-12-30 23:02:23 +01:00
Zusammenfassungen/ topologie
TeX 0 0
Zusammenfassung vom Kurs Topologie (5 ECTS Variante, gehalten im SS24 von Kang Li).
Updated 2024-12-25 13:13:33 +01:00
leonv/ aoc24
C++ 0 0
Updated 2024-12-17 00:10:31 +01:00
leonv/ tic-tac-toe-cpp
C++ 0 0
Updated 2024-11-28 23:24:08 +01:00
leonv/ bsc-consolidated
TeX 0 0
Updated 2024-07-17 17:38:25 +02:00
leonv/ cv
TeX 0 0
Updated 2024-05-07 08:20:28 +02:00
leonv/ agda-gset
Agda 0 0
Updated 2024-05-06 16:24:54 +02:00
leonv/ agda-intro
CSS 0 0
Updated 2024-04-30 12:31:29 +02:00
leonv/ resumee-website
SVG 0 0
Updated 2024-04-15 14:17:43 +02:00
CategoryTheory/ algprog
TeX 0 0
My summary of the course "Algebra des Programmierens" or "Algebra of programming" at the FAU in the winter semester 2023/2024
Updated 2024-04-05 19:27:24 +02:00
CategoryTheory/ agda-poset
Agda 0 0
Updated 2024-03-20 16:06:58 +01:00
CategoryTheory/ agda-monads
Agda 0 0
Updated 2024-03-20 16:06:43 +01:00
CategoryTheory/ agda-kleisli
Agda 0 0
Updated 2024-03-20 16:06:29 +01:00
leonv/ bsc-leon-vatthauer
Literate 0 0
Updated 2024-03-18 11:01:54 +01:00
Teaching/ ThProg-SS23
TeX 0 0
Updated 2023-07-03 09:53:50 +02:00