tla-precheck

kingbootoshi
esm
tla-precheck JS library on GitHub tla-precheck JS library on npm Download tla-precheck JS library

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

Version 0.1.7 License MIT
tla-precheck has no homepage
tla-precheck JS library on GitHub
tla-precheck JS library on npm
Download tla-precheck JS library
Keywords
tla+state-machineformal-verificationmodel-checkingtypescriptcode-generationagenticpostgres
INSTALL
Version:
Learn more
Readme Files Statistics Browse CDN