CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
Java
0
1
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
PhilippWendler
9650 contributions
kfriedberger
3449 contributions
lembergerth
1784 contributions
baierd
1715 contributions
cheshire
1119 contributions
stieglma
1102 contributions
daniel-raffler
1002 contributions
matthiaskettl
915 contributions
marian-lingsch
629 contributions
mjankola
265 contributions
Recent events
Kivach works on the Obyte network, and therefore you can track all donations.
No events yet