forked from runtimeverification/k
K Framework Tools 5.0
License
radumereuta/k
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
K Framework Tools 5.0
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published
Languages
- Java 82.5%
- Scala 6.2%
- Standard ML 2.1%
- OCaml 2.0%
- Python 1.8%
- Makefile 1.6%
- Other 3.8%