An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
TypeScript
942
74
Apache License 2.0
Total donated
Undistributed
Share with your subscribers:
Recipients
How the donated funds are distributed
Support the dependencies
Support the repos that depend on this repository
Top contributors
bugarela
2395 contributions
konnov
525 contributions
thpani
209 contributions
romac
122 contributions
MahtabNorouzi
54 contributions
Kukovec
38 contributions
rnbguy
30 contributions
see-quick
21 contributions
oliveredget
11 contributions
markopiers
11 contributions
Recent events
Kivach works on the Obyte network, and therefore you can track all donations.
No events yet