https://github.com/quint-co/quint

apalache formal-methods language quint specification specification-language tlaplus verification

Score: -Infinity

Last synced: about 3 hours ago
JSON representation

Repository metadata:

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

• Host: GitHub
• URL: https://github.com/quint-co/quint
• Owner: quint-co
• License: apache-2.0
• Created: 2021-05-28T14:01:41.000Z (about 5 years ago)
• Default Branch: main
• Last Pushed: 2026-06-19T18:46:15.000Z (3 days ago)
• Last Synced: 2026-06-21T13:59:30.638Z (1 day ago)
• Topics: apalache, formal-methods, language, quint, specification, specification-language, tlaplus, verification
• Language: TypeScript
• Homepage: https://quint.sh
• Size: 87.9 MB
• Stars: 1,486
• Watchers: 20
• Forks: 133
• Open Issues: 243
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE

---

Owner metadata:

• Name: Quint Co
• Login: quint-co
• Email:
• Kind: organization
• Description:
• Website: https://quint.sh/
• Location:
• Twitter: quint_lang
• Company:
• Icon url: https://avatars.githubusercontent.com/u/282662512?v=4
• Repositories: 2
• Last Synced at: 2026-06-01T18:08:00.947Z
• Profile URL: https://github.com/quint-co

---

GitHub Events

Total

• Delete event: 1
• Push event: 2
• Total: 3

Last Year

• Delete event: 1
• Push event: 2
• Total: 3

---

Committers metadata

Last synced: 16 days ago

Name	Email	Commits
bugarela	g****5@g****m	2024
Shon Feder	s****n@i****s	587
Igor Konnov	i****r@i****s	527
beu5a	b****e@p****e	255
Thomas Pani	t****i@g****m	187
Romain Ruetschi	r****n@i****s	107
mahtab75	n****5@g****m	43
Erick Pintor	e****r@g****m	42
Ranadeep Biswas	m****l@r****t	31
see-quick	m****9@g****m	22
Kukovec	j****c@g****m	21
Josef Widder	j****f@i****s	21
ivan-gavran	i****n@i****s	11
oliveredget	1****t	11
Luca BRUNO	l****b@l****t	10
DevEloperate	d****p@g****m	10
Marko Piers	m****8@g****m	8
OakenKnight	a****c@i****s	7
Nikhil Nair	n****2@g****m	7
JMollerach	j****h@d****r	5
Milorad Trninic	m****8@g****m	5
Josef Ippisch	j****h@g****m	4
Aaron Wright	a****w@g****m	4
Miles Corden	c****s@g****m	4
Philip Offtermatt	5****t	4
crStiv	c****7@g****m	4
Minh Thai	m****0@g****m	4
Lasaro	l****o@i****s	4
kirdatatjana	k****a@g****m	3
Jesica Mao	j****2@g****m	3
and 51 more...

---

Package metadata

• Total packages: 1
• Total downloads: unknown
• Total dependent packages: 0
• Total dependent repositories: 0
• Total versions: 50