K Framework Tools 7.0
0
0
BSD 3-Clause "New" or "Revised" License
K Framework Tools 7.0 is a comprehensive framework for designing and modeling programming languages and software/hardware systems. It provides tools for compiling K specifications into interpreters, model checkers, verifiers, and associated documentation, making it suitable for language designers, formal methods researchers, and developers working on language implementations.
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
rv-auditor
2406 contributions
traiansf
2055 contributions
radumereuta
1460 contributions
andreiarusoaie
1342 contributions
cos
1159 contributions
andreistefanescu
1155 contributions
rv-jenkins
1056 contributions
grosu
989 contributions
ellisonch
673 contributions
tothtamas28
419 contributions
Recent events
Kivach works on the Obyte network, and therefore you can track all donations.
No events yet