tla-precheck

v0.1.7npm· JavaScript

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

The verdict

Maintained. Maintained, actively maintained.

Live from the npm registry · derived rules, not AI

How it scores

MaintenanceHealthy

PopularityUnknown

SecurityClean

LicensePermissive

DepsLean

Maintenance

Last published 3 months ago.

Popularity

Download count unavailable.

Security

No known advisories for this version (OSV).

License

MIT

Dependencies

1 direct dependency

Recent releases

0.1.73 months ago
0.1.63 months ago
0.1.53 months ago
0.1.43 months ago
0.1.33 months ago
0.1.23 months ago
0.1.13 months ago
0.1.03 months ago