K framework

c-semantics

Semantics of C in K

k-legacy

The K tools (deprecated, see README)

X86-64-semantics

Semantics of x86-64 in K

javascript-semantics

KJS: A Complete Formal Semantics of JavaScript

llvm-semantics

Formal semantics of LLVM IR in K

vyper-semantics

KVyper: Semantics of Vyper in K

solidity-semantics

Semantics of Solidity in K

haskell-core-semantics

Haskell's Core in K.

p4-semantics

Formal Semantics of P4 in K

java-semantics

The semantics of Java in K

matching-logic-prover

k-in-k

Defining the semantics of K in K

semantic-approaches

A comprehensive experiments-based survey on various approaches to program semantics.

boogie-semantics

kweb

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

kale

kale backend

orc-semantics

homebrew-k

K Homebrew tap

kat

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.

llvm-semantics-old

Formal semantics of LLVM IR in K (old)

rust-metamath

A Rust Implementation of Metamath

.github

eei-semantics

ewasm-semantics

k-project-template

Project Template

klab

K-framework simple debugger

kore-parser-tests

parser

tidy