Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 36 million developers.Sign up
Forked from kframework/k-legacy
The K tools
K as a PL
Forked from runtimeverification/javamop
Runtime verification system for Java, using AspectJ for instrumentation.
Forked from kframework/c-semantics
Semantics of C in K
Forked from msaxena2/benchmark-tools
Tools for running and comparing static/dynamic analysis software.