quint-co/quint

quint-co/quint has 1,930 GitHub stars and 155 forks. GitHot measured +11 stars in 24 hours. Last checked 2026-11-07 01:42 UTC. Last push 2026-11-02.

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

1,930 stars 155 forks +11 in 24h

Measured star growth

Net star changes over overlapping periods, not daily totals. Missing measurements are left blank. Stars measure attention, not software quality.

quint/README.md

Master programming by recreating your favorite technologies from scratch.

A collective list of free APIs

Reverse engineer anything with agents, from app behavior down to native binaries.

The AI that really does things. Any OS. Any Platform. The lobster way. 🦞