K Framework Tools 5.0
0
0
BSD 3-Clause "New" or "Revised" License
The K Framework is a tool for designing and modeling programming languages and software/hardware systems, providing tools to compile K specifications into interpreters, model checkers, verifiers, and documentation. It is intended for language designers, researchers, and developers working on formal methods and programming language implementation.
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
traiansf
2054 contributions
radumereuta
1428 contributions
andreiarusoaie
1342 contributions
cos
1159 contributions
andreistefanescu
1155 contributions
grosu
989 contributions
ellisonch
673 contributions
rv-jenkins
552 contributions
rv-auditor
430 contributions
daejunpark
397 contributions
Recent events
Kivach works on the Obyte network, and therefore you can track all donations.
No events yet