Package · npm

@informalsystems/quint

npm · v0.33.0 · Apache 2.0

Core tool for the Quint specification language

Programming Languages & Compilers (primary) · Tentative

Tentative categories were assigned with moderate confidence (0.5 to 0.75): they are shown, but they do not count toward a category’s momentum. How categories work

Technologies

EcosystemgRPCDepends on @grpc/grpc-js

Install

npm install @informalsystems/quint

Adoption

Downloads (30 days): 198.9K; Observeddownloads / 30 days
Popularity: Lower half on npm; Derived28th percentile within npm
Dependents: Collectinghistory; Collecting
Maintenance: 0.95; DerivedRelease cadence and recency, 0 to 1
Releases per year: 16; 61 versions over its life

Growth by period

Derived by Crest of Tech from two observations of npm’s own figure, a period apart. Nothing is stored or estimated: without an observation near the period’s start, the period is still collecting.

7 days: +20.5% · 7d; Derived+33.9K downloads / 30 days, SEP 30 → OCT 7
30 days: +51.0% · 30d; Derived+67.2K downloads / 30 days, SEP 7 → OCT 7
90 days: +865.7% · 90d; Derived+178.3K downloads / 30 days, JUL 6 → OCT 7
1 year: +5960.0% · 1y; Derived+195.7K downloads / 30 days, OCT 6 → OCT 7

Adoption historydownloads / 30 days · 76 observations

Table of observations (76)

Day	downloads / 30 days	Dependents
OCT 7, 2026	198,949	Not observed
OCT 6, 2026	198,949	Not observed
OCT 5, 2026	203,197	Not observed
OCT 4, 2026	199,561	Not observed
OCT 3, 2026	197,212	Not observed
OCT 2, 2026	185,272	Not observed
OCT 1, 2026	173,325	Not observed
SEP 30, 2026	165,044	Not observed
SEP 29, 2026	159,030	Not observed
SEP 28, 2026	154,913	Not observed
SEP 27, 2026	149,120	Not observed
SEP 26, 2026	147,694	Not observed
SEP 25, 2026	148,796	Not observed
SEP 24, 2026	147,126	Not observed
SEP 23, 2026	145,170	Not observed
SEP 22, 2026	144,971	Not observed
SEP 21, 2026	141,399	Not observed
SEP 20, 2026	139,461	Not observed
SEP 19, 2026	140,680	Not observed
SEP 18, 2026	140,624	Not observed
SEP 17, 2026	138,347	Not observed
SEP 16, 2026	136,528	Not observed
SEP 15, 2026	134,102	Not observed
SEP 14, 2026	137,241	Not observed
SEP 13, 2026	134,819	Not observed
SEP 12, 2026	130,918	Not observed
SEP 11, 2026	130,378	Not observed
SEP 10, 2026	128,767	Not observed
SEP 9, 2026	128,166	Not observed
SEP 8, 2026	128,266	Not observed
SEP 7, 2026	131,711	Not observed
SEP 6, 2026	133,123	Not observed
SEP 5, 2026	131,068	Not observed
SEP 4, 2026	126,308	Not observed
SEP 3, 2026	123,399	Not observed
SEP 2, 2026	126,299	Not observed
SEP 1, 2026	125,428	Not observed
AUG 31, 2026	131,192	Not observed
AUG 30, 2026	130,406	Not observed
AUG 29, 2026	131,715	Not observed
AUG 28, 2026	140,319	Not observed
AUG 27, 2026	144,289	Not observed
AUG 26, 2026	141,933	Not observed
AUG 25, 2026	143,476	Not observed
AUG 24, 2026	146,500	Not observed
AUG 23, 2026	150,986	Not observed
AUG 22, 2026	152,655	Not observed
AUG 21, 2026	151,806	Not observed
AUG 20, 2026	149,452	Not observed
AUG 19, 2026	148,287	Not observed
AUG 18, 2026	147,304	Not observed
AUG 17, 2026	145,680	Not observed
AUG 16, 2026	145,260	Not observed
AUG 15, 2026	143,825	Not observed
AUG 14, 2026	141,799	Not observed
AUG 13, 2026	143,005	Not observed
AUG 12, 2026	140,697	Not observed
AUG 11, 2026	137,499	Not observed
AUG 10, 2026	133,501	Not observed
AUG 9, 2026	130,068	Not observed
AUG 8, 2026	128,471	Not observed
AUG 7, 2026	128,088	Not observed
AUG 6, 2026	126,872	Not observed
AUG 5, 2026	126,319	Not observed
AUG 4, 2026	125,695	Not observed
AUG 3, 2026	123,698	Not observed
AUG 2, 2026	118,191	Not observed
AUG 1, 2026	107,445	Not observed
JUL 31, 2026	102,558	Not observed
JUL 30, 2026	95,331	Not observed
JUL 29, 2026	82,225	Not observed
JUL 28, 2026	73,846	Not observed
JUL 27, 2026	68,731	Not observed
JUL 26, 2026	60,216	Not observed
JUL 20, 2026	32,419	Not observed
JUL 13, 2026	25,915	Not observed

Facts from the registry

Latest version: v0.33.0; 61 versions
First published: DEC 22, 2022
Last release: SEP 28, 2026; 26d ago
Licence: Apache 2.0
Links: npm page (opens in a new tab); Homepage · quint.sh (opens in a new tab); Source · github.com (opens in a new tab)

Repository

In the Crest catalog

quint-co/quint

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

Stars: 1.8K
Forks: 148
Language: TypeScript
Last push: 26d ago
Last release: 26d ago

Linked by the package’s own registry metadata.GitHub (opens in a new tab)

Dependencies latest version · v0.33.0

Runtime 22

@grpc/grpc-js^1.11.1
@grpc/proto-loader^0.7.7
@octokit/request^8.1.1
@sweet-monads/either~3.2.0
@sweet-monads/maybe~3.2.0
@types/line-column^1.0.0
@types/lodash.clonedeep4.5.0
@types/seedrandom^3.0.4
adm-zip^0.5.16
antlr4ts^0.5.0-alpha.4
chalk^4.1.2
cli-progress^3.12.0
cross-spawn^7.0.6
eol^0.9.1
immutable^4.3.0
json-bigint^1.0.0
line-column^1.0.2
lodash^4.17.21
lodash.clonedeep4.5.0
seedrandom^3.0.5
tar^7.5.13
yargs^17.7.2

Related news

No published news event mentions this package or its repository yet.