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 · 31 observations

Table of observations (31)

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

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.