quint-co / quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
- Stars
- 2,078 stars
- Forks
- 163 forks
- Language
- TypeScript
- License
- APACHE-2.0
- Created
- May 28, 2021
- Last push
- Nov 3, 2026
- Updated
- Nov 11, 2026
Why these Tags: an agent read the README and quoted it
- Programming language from the description:
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
An agent gave these Tags from the fixed Tag list in the AwesomeRepos source code. A code check kept each Tag only when its quote is in the text. A wrong Tag? Report an error with the form at the end of this page.
Admitted to the Repository Index on Nov 8, 2026: +148 stars in 7 days.
Star History
188 days recorded, May 8, 2026 – Nov 11, 2026 (UTC). Net change +745 stars.
The star count of each day is the latest count minus the net stars of the later days.
Add this Star History to a README
The images follow the light or dark theme of the page that shows them, and update every hour.
Add ?theme=light or ?theme=dark
to the chart address to keep one theme.
Star History chart
[](https://awesomerepos.com/quint-co/quint) Badge
[](https://awesomerepos.com/quint-co/quint) Timeline
It gained stars on 157 of the 188 days recorded since May 8, 2026.
Its largest 7 days were Nov 4, 2026 to Nov 10, 2026: 167 stars.
In the 30 days to Nov 11, 2026 it got 255 stars, 55% more than in the 30 days before.
It had 1,333 stars before May 8, 2026 and has 2,078 stars now: 2,922 fewer than 5,000.
- Created on the Repository Host
- Release v0.32.0
- +53 stars in one day
- Release v0.33.0
- Release evaluator/v0.7.0
- Release v0.33.1
- Release evaluator/v0.7.1
- Latest push
- +37 stars in one day
- Largest star day recorded: +96 stars
- Entered the Repository Index: +148 stars in 7 days
The timeline comes from the creation date and the releases on the Repository Host, the Admission, the Star History, and the Observations. Star milestones show only when the Star History records the day. The list shows up to 5 stable releases from the latest 10 releases recorded. When none of them is stable, one item counts the pre-releases. On the chart of net stars each day, a solid line marks each recorded release.
Forks and pushes
From 4 Observations, Nov 9, 2026 – Nov 12, 2026. Forks +1. AwesomeRepos saw a new push on 0 of 3 days.
- Nov 10, 2026: no new push
- Nov 11, 2026: no new push
- Nov 12, 2026: no new push
A filled day: the last push time changed since the Observation before it.
Health facts
Measured facts in four separate dimensions, each with a date and a source. AwesomeRepos does not add them into one score. AwesomeRepos last read these facts from GitHub on Nov 10, 2026. How AwesomeRepos defines each check
Copies a prompt for a coding agent. It has 2 tasks for the maintainers of quint-co/quint.
Improve the Health Facts of the GitHub repository quint-co/quint. AwesomeRepos measures facts about how a repository is maintained, released, secured, and documented. Its page for this repository is https://awesomerepos.com/quint-co/quint. A change to the repository can improve each of the 2 items below. Each item gives the measured fact or score, and a task. 1. A security policy Fact: GitHub finds no security policy (GitHub, 2026-11-10). Rule: GitHub finds a security policy (SECURITY.md in the repository or in the owner's .github repository). Task: Add SECURITY.md at the root or in .github/. Say which versions get security fixes and how to report a vulnerability privately. If GitHub private vulnerability reporting is on, point to it. Ask me for the contact; do not invent one. 2. A code of conduct Fact: GitHub finds no code of conduct (GitHub, 2026-11-10). Rule: GitHub finds a code of conduct in the repository or in the owner's .github repository. Task: Add CODE_OF_CONDUCT.md at the root with the Contributor Covenant 2.1 text. Change only the contact method. Ask me for the contact; do not invent one. Rules for this work: - Each file must be true for this project. Do not copy text that does not apply to it. - Do not choose a licence, a contact, or a release version for me. Ask me. - Do not publish a release, change a repository setting, or push to the default branch. Make the changes on a new branch. - Keep each change small, and run the checks of this repository before you finish. - At the end, list each item as DONE, SKIPPED (with the reason), or NEEDS A DECISION (with the question). AwesomeRepos reads these facts again in its next scan. The definitions of the checks: https://awesomerepos.com/health-facts
Maintenance
4 of 4 checks-
Yes: Not archived
GitHub does not mark the repository as archived. Source
-
Yes: A push in the last 90 days
Last push on 2026-11-03, 8 days ago. Source
-
Yes: Commits in the last 13 weeks
118 commits on the default branch in the last 13 weeks (GitHub, 2026-11-10). Source
-
Yes: Commits in 26 or more of the last 52 weeks
Commits in 42 of the last 52 weeks (GitHub, 2026-11-10). Source
- 10
- 3
- 2
- 3
- 1
- 21
- 9
- 26
- 10
- 54
- 54
- 37
- 97
- 69
- 52
- 96
- 7
- 10
- 27
- 10
- 6
- 6
- 15
- 4
- 3
- 0
- 0
- 0
- 0
- 0
- 0
- 3
- 1
- 2
- 0
- 1
- 0
- 0
- 1
- 1
- 2
- 3
- 1
- 0
- 1
- 42
- 1
- 9
- 4
- 24
- 28
- 2
Releases
3 of 3 checks-
Yes: A release in the last 365 days
Newest release v0.33.1 on 2026-10-28, 15 days ago. 10 or more releases in the last 365 days. Source
-
Yes: The newest release tag is a semantic version
The newest release tag is v0.33.1. Source
-
Yes: A changelog file at the root
CHANGELOG.md at the root (GitHub, 2026-11-10). Source
Security practice
0 of 1 check-
No: A security policy
GitHub finds no security policy (GitHub, 2026-11-10).
OpenSSF Scorecard has no result for this repository from the last 90 days.
Community files
2 of 3 checksDependencies in the index
This section shows the packages that connect this repository to other repositories in the index.
The GitHub dependency graph of this repository names 383 direct packages (scanned on Nov 10, 2026). Packages from 38 other repositories in the index are among them.
1 scanned repository names a package from this repository.
Uses (in the index) · 38
- react/react 253K
npm: react, react-dom
- vercel/next.js 143K
npm: @next/eslint-plugin-next, @next/swc-darwin-arm64, @next/swc-darwin-x64, @next/swc-linux-arm64-gnu and 7 more
- microsoft/TypeScript 112K
npm: typescript
-
npm: @tailwindcss/oxide-android-arm64, @tailwindcss/oxide-darwin-arm64, @tailwindcss/oxide-darwin-x64, @tailwindcss/oxide-freebsd-x64 and 10 more
-
npm: @fortawesome/fontawesome-svg-core, @fortawesome/free-solid-svg-icons
- lodash/lodash 61K
npm: lodash, lodash.clonedeep
-
npm: prettier
-
npm: @types/chai, @types/cli-progress, @types/cross-spawn, @types/json-bigint and 10 more
- postcss/postcss 29K
npm: postcss
- eslint/eslint 28K
npm: eslint
Show all 38
- chalk/chalk 23K
npm: chalk
- mochajs/mocha 23K
npm: mocha
-
npm: autoprefixer
- clap-rs/clap 17K
Cargo: clap, clap_builder, clap_lex
-
npm: @typescript-eslint/eslint-plugin, @typescript-eslint/parser
- shuding/nextra 14K
npm: nextra, nextra-theme-docs
- shikijs/shiki 14K
npm: shiki
- rayon-rs/rayon 13K
Cargo: rayon, rayon-core
-
npm: ts-node
-
Cargo: windows, windows-core, windows-implement, windows-interface and 13 more
- serde-rs/serde 11K
Cargo: serde, serde_derive
-
npm: protobufjs
-
Cargo: js-sys, wasm-bindgen, wasm-bindgen-backend, wasm-bindgen-macro and 3 more
-
GitHub Actions: actions/checkout
-
Cargo: crossbeam-deque, crossbeam-epoch, crossbeam-utils
- chaijs/chai 8.3K
npm: chai
-
npm: lightningcss-darwin-arm64, lightningcss-darwin-x64, lightningcss-freebsd-x64, lightningcss-linux-arm-gnueabihf and 6 more
-
Cargo: tracing, tracing-core, tracing-log, tracing-subscriber
-
npm: eslint-plugin-import
-
npm: eslint-config-prettier
-
GitHub Actions: softprops/action-gh-release
- istanbuljs/nyc 5.8K
npm: nyc
-
npm: tailwind-merge
- serde-rs/json 5.7K
Cargo: serde_json
-
Cargo: insta
-
npm: cross-spawn
-
npm: copyfiles
-
npm: @sweet-monads/either, @sweet-monads/maybe
Used by (in the index) · 1
-
npm: @informalsystems/quint
Sources: the GitHub dependency graph of each repository, and deps.dev for the source repository of each package (checked on Nov 6, 2026). A dependency graph also names development packages. deps.dev takes most source repositories from package metadata. How the dependency graph is made
Observations
Latest Observation, Nov 12, 2026: 2,078 stars, 163 forks, last push Nov 3, 2026, not archived. One of 4 Observations since Nov 9, 2026.