quint-co/quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

apalacheformal-methodsformal-verificationlanguagequintspecificationspecification-languagetlaplusverification

License & maintenance

Apache-2.0 is a permissive license: free to use commercially with attribution.

Last code push 6 days ago.

	Repository	Stars	Language	License	Activity
1	tc39/proposalsTracking ECMAScript Proposals	★ 19.2k	—	—	Active
2	p-org/PThe P programming language.	★ 3.7k	C#	MIT	Active
3	kdl-org/kdlthe kdl document language specifications	★ 1.6k	Makefile	Other	Active
4	golang/goThe Go programming language	★ 139.3k	Go	BSD-3-Clause	Active
5	microsoft/TypeScriptTypeScript is a superset of JavaScript that compiles to clean JavaScript output.	★ 111.5k	Go	Apache-2.0	Active
6	argotorg/soliditySolidity, the Smart Contract Programming Language	★ 25.8k	C++	GPL-3.0	Active
7	ruby/rubyThe Ruby Programming Language	★ 23.8k	Ruby	Other	Active
8	wren-lang/wrenThe Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language.	★ 8.1k	Wren	MIT	Slowing