All Git Users → thufschmitt

3 open source projects by thufschmitt

[ Open user page on Github ]

Some writings about a type system for nix

✭ 18

TeX Makefile Nix

[WIP] A type system for nix

✭ 59

ocaml Nix Makefile nix nixos wip type-system

A type-system for Nix

✭ 82

1-3 of 3 user projects