An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
TypeScript
920
48
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
2295 contributions
konnov
525 contributions
thpani
209 contributions
romac
116 contributions
MahtabNorouzi
54 contributions
Kukovec
38 contributions
rnbguy
27 contributions
see-quick
19 contributions
ivan-gavran
11 contributions
oliveredget
11 contributions
Recent events
Kivach works on the Obyte network, and therefore you can track all donations.
No events yet