Quint – a new language based on TLA+ with modern syntax and developer tooling github.com 5 points by mmmmkay 3 years ago · 1 comment Reader PiP Save Collapse all Expand all 1 thread fithisux 3 years ago This is what we call applied CS.Congratulations.