Théophane Hufschmitt

icon indicating an email [email protected]

Results 3 repositories owned by Théophane Hufschmitt

tix

61
Stars
1
Forks
Watchers

[WIP] A type system for nix

verified publisher icon thufschmitt

ptyx

96
Stars
3
Forks
Watchers

A type-system for Nix

verified publisher icon thufschmitt

tix-papers

19
Stars
1
Forks
Watchers

Some writings about a type system for nix

verified publisher icon thufschmitt