An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
TypeScript
840
37
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
1919 contributions
konnov
525 contributions
thpani
209 contributions
romac
55 contributions
MahtabNorouzi
52 contributions
Kukovec
38 contributions
ivan-gavran
11 contributions
lucab
10 contributions
shonfeder
7 contributions
lasarojc
4 contributions
Recent events
Kivach works on the Obyte network, and therefore you can track all donations.
No events yet