Spatenheinz

Copenhagen, DK

Pinned Repositories

.dotfiles
Nixos dotfiles
0 1 00
aoc
Advent of Code
Language:C0 1 00
aoc21
Advent of Code 2021 hoepfully a new language a day
Language:Java0 1 00
aoc23
Language:Haskell0 1 00
ARL
Language:C0 1 00
deforestation
Higher order deforestation as project in Program Analysis and Transformation (BROKEN)
Language:Haskell0 1 00
dotfiles
nixos dotfiles
Language:Shell0 1 00
ebpf-tools
Experiments with eBPF bytecode
Language:Haskell0 0 00
IFC
Information Flow Control
Language:TeX3 2 10
LeSpeciale
Kandidat speciale
Language:Rust2 2 00

Spatenheinz's Repositories

Spatenheinz/IFC
Information Flow Control
Language:TeX3 2 10
Spatenheinz/LeSpeciale
Kandidat speciale
Language:Rust2 2 00
Spatenheinz/.dotfiles
Nixos dotfiles
0 1 00
Spatenheinz/aoc
Advent of Code
Language:C0 1 00
Spatenheinz/aoc21
Advent of Code 2021 hoepfully a new language a day
Language:Java0 1 00
Spatenheinz/aoc23
Language:Haskell0 1 00
Spatenheinz/ARL
Language:C0 1 00
Spatenheinz/Bachelor
wuhu
Language:C#0 1 00
Spatenheinz/Conduit
fun and games developping a memory safe system language
0 1 00
Spatenheinz/deforestation
Higher order deforestation as project in Program Analysis and Transformation (BROKEN)
Language:Haskell0 1 00
Spatenheinz/dotfiles
nixos dotfiles
Language:Shell0 1 00
Spatenheinz/ebpf-tools
Experiments with eBPF bytecode
Language:Haskell0 0 00
Spatenheinz/just
🤖 Just a command runner
Language:Rust0 0
Spatenheinz/linux
playing with rust in the kernel
Language:C0 0
Spatenheinz/RustWeb
Language:Rust1 0
Spatenheinz/staffeli-xp
Language:F#1 01
Spatenheinz/staffeli_nt
Staffeli NT Technology
Language:Python1 0
Spatenheinz/VCGen_in_Why3
PoCS. Verified `Verification Condition Generation` in Why3
Language:TeX2 0