Sebastian Ullrich

icon company Lean FRO icon location Munich, Germany

Results 3 repositories owned by Sebastian Ullrich

electrolysis

323
Stars
6
Forks
Watchers

Simple verification of Rust programs via functional purification in Lean 2(!)

verified publisher icon Kha

Bartizan

56
Stars
15
Forks
Watchers

Mod Framework for TowerFall Ascension

verified publisher icon Kha

nixprof

28
Stars
4
Forks
Watchers

A Nix build graph profiler

verified publisher icon Kha