Package

tla-precheck

Write state machines once in TypeScript. The compiler mathematically proves correctness via TLA+, then generates runtime code and Postgres constraints from the same source.

v0.1.7MITESM onlyTypes: BundledTypeScript tooling

$ npm install tla-precheck

npm GitHub Homepage

Key numbers

As of 25 Sept 2026

Weekly downloads: 776; - over 12 months
Gzip bundle size: -; No Bundlephobia data
Dependencies: 1; Direct, from package.json
Last release: -; v0.1.7
GitHub stars: -
Open issues / PRs: - / -
Contributors: -
Commits, last 52 weeks: -

Downloads

No weekly download data in the snapshot.

776 downloads last week, 6,971 in the last month. No 52-week series has been fetched yet.

Maintenance

Releases, last 12 months: -
Latest version: 0.1.7
First published: -
Last push to GitHub: -
Repository archived: -
Open issues: -
Open pull requests: -
Commits, last 52 weeks: -
Dependents on npm: -

Major versions

Recent releases

Compatibility

Module format: ESM onlyFrom package.json type, main and exports fields
TypeScript types: Bundled
Node.js engine range: Not declared
Runtimes: -
Unpacked size (npm): 292 kB
Dependencies (1): typescript

Install

npm install tla-precheck

CDN

jsDelivrhttps://cdn.jsdelivr.net/npm/tla-precheck@0.1.7/
unpkghttps://unpkg.com/tla-precheck@0.1.7/
esm.shhttps://esm.sh/tla-precheck@0.1.7

Sources: npm registry. Data fetched 25 Sept 2026.

Indexability: Not indexed (discovery only): downloads_week 776 < 10000; GitHub data not fetched yet.