Trying to make a practical possibly unsound dependently typed language with algebraic effects
Scala
7
1
Other
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
mio-19
4237 contributions
Recent events
Kivach works on the Obyte network, and therefore you can track all donations.
No events yet