K framework

icon indicating a website link http://kframework.org icon indicating an email [email protected]

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

Results 11 repositories owned by K framework

X86-64-semantics

130
Stars
11
Forks
Watchers

Semantics of x86-64 in K

verified publisher icon kframework

c-semantics

300
Stars
42
Forks
Watchers

Semantics of C in K

verified publisher icon kframework

k-legacy

146
Stars
61
Forks
Watchers

The K tools (deprecated, see README)

verified publisher icon kframework

haskell-core-semantics

20
Stars
0
Forks
Watchers

Haskell's Core in K.

verified publisher icon kframework

javascript-semantics

85
Stars
21
Forks
Watchers

KJS: A Complete Formal Semantics of JavaScript

verified publisher icon kframework

llvm-semantics

42
Stars
9
Forks
Watchers

Formal semantics of LLVM IR in K

verified publisher icon kframework

p4-semantics

18
Stars
2
Forks
Watchers

Formal Semantics of P4 in K

verified publisher icon kframework

python-semantics

18
Stars
4
Forks
Watchers

The semantics of Python in K

verified publisher icon kframework

solidity-semantics

29
Stars
5
Forks
Watchers

Semantics of Solidity in K

verified publisher icon kframework

vyper-semantics

41
Stars
9
Forks
Watchers

KVyper: Semantics of Vyper in K

verified publisher icon kframework