TypedNix

Static type system for Nix programming language.
Is freely licensed? ✅
Website https://github.com/numtide
NLNet grant pages