tazjin/yants

---

tazjin/yants.json

{
  "createdAt": "2019-08-28T13:25:05Z",
  "defaultBranch": "master",
  "description": "Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants",
  "fullName": "tazjin/yants",
  "homepage": "",
  "language": null,
  "name": "yants",
  "pushedAt": "2019-12-20T21:56:00Z",
  "stargazersCount": 39,
  "topics": [
    "nix",
    "nixos",
    "nixpkgs",
    "type-safety",
    "type-system"
  ],
  "updatedAt": "2025-10-25T17:45:04Z",
  "url": "https://github.com/tazjin/yants"
}

YANTS is Yet Another Nix Type System.

Its code has moved to //depot/nix/yants on [git.tazj.in][]. At this point most of my software (unless it lives in other organisations) is no longer developed on GitHub.

If you are looking for an issue tracker, issues and patches for my projects are tracked at [depot@tazj.in][] (which is also the email address that you can send issues and patches to).

[git.tazj.in] !: https://git.tazj.in/tree/nix/yants [depot@tazj.in] !: https://groups.google.com/a/tazj.in/forum/?hl=en#!forum/depot