kframework Goto Github PK

.github

aadl-semantics

Formal semantics of AADL in K

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).

boogie-semantics

c-semantics

Semantics of C in K

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.

eei-semantics

ewasm-semantics

haskell-core-semantics

Haskell's Core in K.

homebrew-k

K Homebrew tap

java-semantics

The semantics of Java in K

javacard-semantics

K semantics for the javacard language

javascript-semantics

KJS: A Complete Formal Semantics of JavaScript

jvm-semantics

Semantics of the Java Virtual Machine.

k-in-k

Defining the semantics of K in K

k-legacy

The K tools (deprecated, see README)

k-project-template

Project Template

kale

kale backend

kat

klab

K-framework simple debugger

kore-parser-tests

kweb

Online extensible IDE for the K Framework and other formal verification projects. Example deployment at http://kframework.org/kweb/

llvm-semantics

Formal semantics of LLVM IR in K

llvm-semantics-old

Formal semantics of LLVM IR in K (old)

matching-logic-prover

modelink-semantics

modelink-semantics

ocaml-semantics

Formal semantics of OCaml

orc-semantics

p4-semantics

Formal Semantics of P4 in K

parser