Repositories Users Organizations
Filter
Sort
leonv/ nixos
Nix 0 0
The nix configurations for my systems.
Updated 2025-01-20 23:23:26 +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/ inductive-lambda
Nix 0 0
Simply typed lambda calculus with inductive types.
Updated 2024-11-27 16:13:27 +01:00
leonv/ tic-tac-toe
0 0
Tic Tac Toe algorithm using Minimax.
Updated 2024-11-27 14:39:50 +01:00
leonv/ cryptography
Python 0 0
Various python implementations of cryptographic algorithms
Updated 2024-10-16 11:39:57 +02:00
leonv/ bsc-consolidated
TeX 0 0
Updated 2024-07-17 17:38:25 +02:00
leonv/ lambda-holes
0 0
Lambda calculus interpreter with holes
Updated 2024-07-09 10:07:45 +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 2024-06-16 18:40:46 +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