K framework

University of Illinois at Urbana-Champaign and Alexandru Ioan Cuza University of Iasi

Pinned Repositories

c-semantics
Semantics of C in K
Language:C306 19 16441
haskell-core-semantics
Haskell's Core in K.
Language:Haskell20 7 80
java-semantics
The semantics of Java in K
Language:Java19 13 279
javascript-semantics
KJS: A Complete Formal Semantics of JavaScript
Language:JavaScript86 14 421
k-legacy
The K tools (deprecated, see README)
Language:Java146 29 1.1k61
llvm-semantics
Formal semantics of LLVM IR in K
Language:LLVM45 12 29
p4-semantics
Formal Semantics of P4 in K
Language:P420 8 02
solidity-semantics
Semantics of Solidity in K
Language:Shell29 20 235
vyper-semantics
KVyper: Semantics of Vyper in K
Language:Python41 14 19
X86-64-semantics
Semantics of x86-64 in K
Language:Assembly144 22 913

K framework's Repositories

kframework/jvm-semantics
Semantics of the Java Virtual Machine.
Language:Java5 9 11
kframework/aadl-semantics
Formal semantics of AADL in K
2 9 01
kframework/ocaml-semantics
Formal semantics of OCaml
Language:OCaml22
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).
1 8 02
kframework/javacard-semantics
K semantics for the javacard language
2
kframework/modelink-semantics
modelink-semantics
1