A community preview of ongoing formal verification efforts for Asterinas
Rust
42
9
Mozilla Public 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
lrh2000
440 contributions
junyang-zh
425 contributions
StevenJiang1110
367 contributions
sdww0
273 contributions
SNoAnd
223 contributions
cchanging
140 contributions
grief8
123 contributions
liqinggd
113 contributions
rikosellic
108 contributions
tatetian
102 contributions
Recent events
Kivach works on the Obyte network, and therefore you can track all donations.
No events yet