Siegmentation Fault

icon indicating an email [email protected]

icon location Milky Way, Solar System, Earth icon location Unskilled

Results 3 repositories owned by Siegmentation Fault

loria

18
Stars
2
Forks
Watchers

Minetest subgame

verified publisher icon forked-from-1kasper

anders

18
Stars
1
Forks
Watchers

Anders: Cubical Type Checker

verified publisher icon forked-from-1kasper

ground_zero

36
Stars
1
Forks
Watchers

Ground Zero: Lean 4 HoTT Library

verified publisher icon forked-from-1kasper