kframework/javacard-semantics
K semantics for the javacard language
Developer Profile
kframework
Discovered public repositories for kframework in the GitHub catalog.
kframework/modelink-semantics
modelink-semantics
kframework/jvm-semantics
Semantics of the Java Virtual Machine.
kframework/cink-semantics
Cink is a kernel of the C++ language we used to experiment with K. The language is used an example for teaching classes and is referred in several research papers.
kframework/alk-semantics
An executable algorithmic language. The algorithms are executed over abstract data types like arrays, structures, cons lists (viewed as abstractions of simple linked lists).
kframework/aadl-semantics
Formal semantics of AADL in K
kframework/llvm-semantics-old
Formal semantics of LLVM IR in K (old)
kframework/ocaml-semantics
Formal semantics of OCaml
kframework/kweb
Online extensible IDE for the K Framework and other formal verification projects. Example deployment at http://kframework.org/kweb/
kframework/c-semantics
Semantics of C in K
kframework/java-semantics
The semantics of Java in K
kframework/javascript-semantics
KJS: A Complete Formal Semantics of JavaScript
kframework/k-legacy
The K tools (deprecated, see README)