leonv
0 followers · 0 following
  • Joined on 2023-05-31
Repositories
14
 Projects Packages Public activity Starred repositories
Filter
Sort
nixos
Nix 0 0
The nix configurations for my systems.
Updated 2025-01-20 23:23:26 +01:00
aoc24
C++ 0 0
Updated 2024-12-17 00:10:31 +01:00
tic-tac-toe-cpp
C++ 0 0
Updated 2024-11-28 23:24:08 +01:00
inductive-lambda
Nix 0 0
Simply typed lambda calculus with inductive types.
Updated 2024-11-27 16:13:27 +01:00
tic-tac-toe
0 0
Tic Tac Toe algorithm using Minimax.
Updated 2024-11-27 14:39:50 +01:00
cryptography
Python 0 0
Various python implementations of cryptographic algorithms
Updated 2024-10-16 11:39:57 +02:00
bsc-consolidated
TeX 0 0
Updated 2024-07-17 17:38:25 +02:00
lambda-holes
0 0
Lambda calculus interpreter with holes
Updated 2024-07-09 10:07:45 +02:00
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
cv
TeX 0 0
Updated 2024-05-07 08:20:28 +02:00
agda-gset
Agda 0 0
Updated 2024-05-06 16:24:54 +02:00
agda-intro
CSS 0 0
Updated 2024-04-30 12:31:29 +02:00
resumee-website
SVG 0 0
Updated 2024-04-15 14:17:43 +02:00
bsc-leon-vatthauer
Literate 0 0
Updated 2024-03-18 11:01:54 +01:00