Théophane Hufschmitt thufschmitt

Organizations

Popular repositories Loading

1. A type-system for Nix

   Nix 98 4

2. tix tix Public

   [WIP] A type system for nix

   OCaml 64 1

3. Some writings about a type system for nix

   TeX 19 1

5. Nix packaging for https://pretix.eu

   Nix 3 3

6. Web UI for Taskwarrior

   JavaScript 2