https://github.com/quint-co/quint
apalache formal-methods language quint specification specification-language tlaplus verification
Score: -Infinity
Last synced: about 4 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-08-20T13:55:29.000Z (7 days ago)
- Last Synced: 2026-08-20T21:08:19.297Z (6 days ago)
- Topics: apalache, formal-methods, language, quint, specification, specification-language, tlaplus, verification
- Language: TypeScript
- Homepage: https://quint.sh
- Size: 88 MB
- Stars: 1,620
- Watchers: 19
- Forks: 142
- Open Issues: 245
-
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
- Issues event: 1
- Push event: 4
- Total: 6
Last Year
- Delete event: 1
- Issues event: 1
- Push event: 4
- Total: 6
Committers metadata
Last synced: 6 days ago
Total Commits: 4,047
Total Committers: 83
Avg Commits per committer: 48.759
Development Distribution Score (DDS): 0.499
Commits in past year: 568
Committers in past year: 32
Avg Commits per committer in past year: 17.75
Development Distribution Score (DDS) in past year: 0.57
| Name | Commits | |
|---|---|---|
| bugarela | g****5@g****m | 2026 |
| Shon Feder | s****n@i****s | 587 |
| Igor Konnov | i****r@i****s | 528 |
| beu5a | b****e@p****e | 256 |
| 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 |
| oliveredget | 1****t | 11 |
| ivan-gavran | i****n@i****s | 11 |
| DevEloperate | d****p@g****m | 10 |
| Luca BRUNO | l****b@l****t | 10 |
| Marko Piers | m****8@g****m | 8 |
| Nikhil Nair | n****2@g****m | 7 |
| OakenKnight | a****c@i****s | 7 |
| JMollerach | j****h@d****r | 5 |
| Milorad Trninic | m****8@g****m | 5 |
| 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 |
| Josef Ippisch | j****h@g****m | 4 |
| Nikola Milanovic | n****a@N****l | 3 |
| Aris Hadrian | a****3@g****m | 3 |
| and 53 more... | ||
Issue and Pull Request metadata
Last synced: 1 day ago
Total issues: 19
Total pull requests: 76
Average time to close issues: about 2 months
Average time to close pull requests: 5 days
Total issue authors: 17
Total pull request authors: 25
Average comments per issue: 0.42
Average comments per pull request: 0.66
Merged pull request: 62
Bot issues: 0
Bot pull requests: 0
Past year issues: 19
Past year pull requests: 76
Past year average time to close issues: about 2 months
Past year average time to close pull requests: 5 days
Past year issue authors: 17
Past year pull request authors: 25
Past year average comments per issue: 0.42
Past year average comments per pull request: 0.66
Past year merged pull request: 62
Past year bot issues: 0
Past year bot pull requests: 0
Top Issue Authors
- erickpintor (3)
- bmastenbrook (1)
- Chriscbr (1)
- SweersJ (1)
- 0kenx (1)
- lovesegfault (1)
- Free-Rat (1)
- TSPMP (1)
- pulasthibandara (1)
- arialdomartini (1)
- gm0stache (1)
- beu5a (1)
- crodriguezvega (1)
- marceloadsj (1)
- TheBroach (1)
Top Pull Request Authors
- beu5a (24)
- bugarela (17)
- erickpintor (9)
- nikola-informal (2)
- angbrav (2)
- JMollerach (2)
- fhalim (2)
- imor (1)
- TSPMP (1)
- pilt (1)
- klop (1)
- silranucci (1)
- miloradtrninic (1)
- vitali87 (1)
- crodriguezvega (1)
Top Issue Labels
- bug (4)
- blocked (1)
Top Pull Request Labels
Package metadata
- Total packages: 1
- Total downloads: unknown
- Total dependent packages: 0
- Total dependent repositories: 0
- Total versions: 62
proxy.golang.org: github.com/quint-co/quint
- Homepage:
- Documentation: https://pkg.go.dev/github.com/quint-co/quint#section-documentation
- Licenses: apache-2.0
- Latest release: v0.32.0 (published 5 months ago)
- Last Synced: 2026-08-26T00:13:47.265Z (1 day ago)
- Versions: 62
- Dependent Packages: 0
- Dependent Repositories: 0
-
Rankings:
- Dependent packages count: 4.685%
- Average: 4.842%
- Dependent repos count: 4.999%
Dependencies
quint/package-lock.json
npm
- 528 dependencies
quint/package.json
npm
- @types/chai ^4.2.18 development
- @types/json-bigint ^1.0.1 development
- @types/lodash.isequal ^4.5.6 development
- @types/mocha ^8.2.3 development
- @types/node ^12.12.0 development
- @types/yargs ^17.0.5 development
- @typescript-eslint/eslint-plugin ^5.12.0 development
- @typescript-eslint/parser ^5.12.0 development
- antlr4ts-cli ^0.5.0-alpha.4 development
- chai ^4.3.4 development
- eslint ^8.27.0 development
- eslint-config-recommended ^4.1.0 development
- eslint-plugin-import ^2.26.0 development
- eslint-plugin-json ^3.1.0 development
- eslint-plugin-node ^11.1.0 development
- eslint-plugin-promise ^6.1.1 development
- eslint-plugin-unused-imports ^2.0.0 development
- mocha ^10.0.0 development
- nyc ^15.1.0 development
- ts-node ^10.0.0 development
- txm ^8.0.2 development
- typescript ^4.8.2 development
- @sweet-monads/either ^3.0.1
- @sweet-monads/maybe ^3.1.0
- @types/line-column ^1.0.0
- antlr4ts ^0.5.0-alpha.4
- chalk ^4.1.2
- eol ^0.9.1
- immutable ^4.1.0
- json-bigint ^1.0.0
- line-column ^1.0.2
- lodash.isequal ^4.5.0
- yargs ^17.2.1
vscode/quint-vscode/package-lock.json
npm
- 394 dependencies
vscode/quint-vscode/package.json
npm
- @types/mocha ^8.2.2 development
- @types/node ^12.12.0 development
- @types/vscode ^1.52.0 development
- @typescript-eslint/eslint-plugin ^5.30.6 development
- @typescript-eslint/parser ^5.30.6 development
- eslint ^8.27.0 development
- eslint-config-prettier ^8.8.0 development
- eslint-config-recommended ^4.1.0 development
- eslint-plugin-import ^2.26.0 development
- eslint-plugin-json ^3.1.0 development
- eslint-plugin-node ^11.1.0 development
- eslint-plugin-promise ^6.1.1 development
- eslint-plugin-unused-imports ^2.0.0 development
- mocha ^8.3.2 development
- prettier 2.8.8 development
- typescript ^4.2.3 development
- vscode-test ^1.3.0 development
- vscode-languageclient ^7.0.0
vscode/quint-vscode/server/package-lock.json
npm
- 445 dependencies
vscode/quint-vscode/server/package.json
npm
- @types/chai ^4.2.18 development
- @types/lodash ^4.14.191 development
- @types/mocha ^8.2.2 development
- @types/node ^12.12.0 development
- @typescript-eslint/eslint-plugin ^5.30.6 development
- @typescript-eslint/parser ^5.30.6 development
- chai ^4.3.4 development
- eslint ^8.27.0 development
- eslint-config-recommended ^4.1.0 development
- eslint-plugin-import ^2.26.0 development
- eslint-plugin-json ^3.1.0 development
- eslint-plugin-node ^11.1.0 development
- eslint-plugin-promise ^6.1.1 development
- eslint-plugin-unused-imports ^2.0.0 development
- mocha ^8.4.0 development
- ts-node ^10.0.0 development
- typescript ^4.2.3 development
- @informalsystems/quint ^0.14.4
- vscode-languageserver ^7.0.0
- vscode-languageserver-textdocument ^1.0.1
- vscode-uri ^3.0.7
.github/workflows/release.yml
actions
- actions/checkout v4 composite
- actions/setup-node v3 composite
- softprops/action-gh-release v1 composite
docs/package-lock.json
npm
- 890 dependencies
.github/workflows/quint.yml
actions
- actions-rust-lang/setup-rust-toolchain v1 composite
- actions/checkout v4 composite
- actions/setup-node v4 composite
- dorny/paths-filter v3 composite
evaluator/Cargo.toml
cargo
- criterion 0.5 development
- insta 1.22.0 development
- argh 0.1.13
- chrono 0.4.40
- colored 3.0.0
- eyre 0.6.12
- fxhash 0.2.1
- hipstr 0.8.0
- imbl 5.0.0
- indexmap 2.7
- itertools 0.14.0
- itf 0.3.0
- num-bigint 0.4
- num-traits 0.2.19
- rand 0.8.5
- serde 1.0
- serde_json 1.0
- serde_path_to_error 0.1
- serde_repr 0.1
- squares-rnd 3.1.0
- tempfile 3.16.0
- thiserror 2.0.11
docs/package.json
npm
- @next/eslint-plugin-next ^15.4.2 development
- @tailwindcss/postcss 4.1.10 development
- @types/node 20.14.5 development
- @types/react 19.1.8 development
- @typescript-eslint/eslint-plugin ^5.12.0 development
- @typescript-eslint/parser ^5.12.0 development
- autoprefixer ^10.4.19 development
- eslint ^8.39.0 development
- eslint-config-prettier ^8.8.0 development
- eslint-config-recommended ^4.1.0 development
- eslint-plugin-import ^2.26.0 development
- eslint-plugin-json ^3.1.0 development
- eslint-plugin-node ^11.1.0 development
- eslint-plugin-promise ^6.1.1 development
- eslint-plugin-unused-imports ^2.0.0 development
- pagefind ^1.3.0 development
- postcss ^8.4.38 development
- prettier 2.8.8 development
- tailwindcss 4.1.10 development
- typescript 5.4.5 development
- @fortawesome/fontawesome-svg-core ^6.7.2
- @fortawesome/free-solid-svg-icons ^6.5.2
- @fortawesome/react-fontawesome ^0.2.2
- @giscus/react ^3.1.0
- next ^14.2.30
- nextra ^4.2.17
- nextra-theme-blog ^4.2.17
- nextra-theme-docs ^4.2.17
- react ^18.3.1
- react-dom ^18.3.1
- react-svg ^16.1.34
- shiki ^3.8.0
- tailwind-merge 2.3.0
.github/workflows/benchmark.yml
actions
- actions-rust-lang/setup-rust-toolchain v1 composite
- actions/checkout v4 composite
- actions/github-script v7 composite
- actions/setup-node v4 composite
- dorny/paths-filter v3 composite
- peter-evans/create-or-update-comment v4 composite
- peter-evans/find-comment v3 composite
- taiki-e/install-action v2 composite
evaluator/flake.nix
nix
- flake-utils *
- nixpkgs *
.github/workflows/lint-evaluator.yml
actions
- actions-rust-lang/rustfmt v1 composite
- actions-rust-lang/setup-rust-toolchain v1 composite
- actions/checkout v4 composite
- auguwu/clippy-action 1.4.0 composite
- dorny/paths-filter v3 composite
.github/workflows/release-evaluator.yml
actions
- actions/checkout v4 composite
- taiki-e/create-gh-release-action v1 composite
- taiki-e/upload-rust-binary-action v1 composite
evaluator/Cargo.lock
cargo
- 182 dependencies
flake.lock
nix
- flake-utils b1d9ab7
- nixpkgs 1d9c2c9
.github/workflows/integration.yml
actions
- actions-rust-lang/setup-rust-toolchain v1 composite
- actions/checkout v4 composite
- actions/setup-java v3 composite
- actions/setup-node v4 composite
- dcarbone/install-jq-action v2 composite
- dorny/paths-filter v3 composite
evaluator/flake.lock
nix
- flake-utils 11707dc
- nixpkgs ae67888
.github/workflows/test-evaluator.yml
actions
- actions-rust-lang/setup-rust-toolchain v1 composite
- actions/checkout v4 composite
- actions/setup-node v4 composite
- dorny/paths-filter v3 composite
- taiki-e/install-action cargo-nextest composite
.github/workflows/vscode.yml
actions
- actions/checkout v4 composite
- cachix/install-nix-action v31 composite
- dorny/paths-filter v3 composite
- john-shaffer/cache 59429c0461095f341a8cf7388e5d3aef37b95edd composite
.github/workflows/lint-vscode.yml
actions
- actions/checkout v4 composite
- actions/setup-node v4 composite
- dorny/paths-filter v3 composite
flake.nix
nix