PrototypeCommon
thufschmitt/ptyx
A type-system for Nix
- Owner
- thufschmitt (personal account)
- Stars
- Stars: 100
- Forks
- Forks: 4
- Language
- Nix
- License
- BSD-3-Clause
- Created
- 2017
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Nix
All Nix repos- input-output-hk/stack2nixStars: 100NixPrototype
- NickCao/nixos-riscvStars: 100NixPrototype
- t2linux/nixos-t2-isoStars: 100NixPrototype