Popular repositories Loading

1. ptyx ptyx Public

   A type-system for Nix

   Nix 98 4

2. tix tix Public

   [WIP] A type system for nix

   OCaml 65 1

3. tix-papers tix-papers Public

   Some writings about a type system for nix

   TeX 19 1

4. nickel-schemastore nickel-schemastore Public

   NCL 5 2

5. pretix-nix pretix-nix Public archive

   Nix packaging for https://pretix.eu

   Nix 3 3

6. twui twui Public

   Web UI for Taskwarrior

   JavaScript 2