Skip to content

radumereuta/k

About

K Framework Tools 5.0

Resources

License

Stars

Watchers

Forks

Packages

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%