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:LLVM44 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/c-semantics
Semantics of C in K
Language:C306 19 16441
kframework/k-legacy
The K tools (deprecated, see README)
Language:Java146 29 1.1k61
kframework/X86-64-semantics
Semantics of x86-64 in K
Language:Assembly144 22 913
kframework/javascript-semantics
KJS: A Complete Formal Semantics of JavaScript
Language:JavaScript86 14 421
kframework/llvm-semantics
Formal semantics of LLVM IR in K
Language:LLVM44 12 29
kframework/vyper-semantics
KVyper: Semantics of Vyper in K
Language:Python41 14 19
kframework/solidity-semantics
Semantics of Solidity in K
Language:Shell29 20 235
kframework/haskell-core-semantics
Haskell's Core in K.
Language:Haskell20 7 80
kframework/p4-semantics
Formal Semantics of P4 in K
Language:P420 8 02
kframework/java-semantics
The semantics of Java in K
Language:Java19 13 279
kframework/matching-logic-prover
Language:SMT15 28 174
kframework/k-in-k
Defining the semantics of K in K
Language:Python11 24 04
kframework/semantic-approaches
A comprehensive experiments-based survey on various approaches to program semantics.
Language:Haskell11 8 01
kframework/boogie-semantics
Language:Boogie5 3 30
kframework/kweb
Online extensible IDE for the K Framework and other formal verification projects. Example deployment at http://kframework.org/kweb/
Language:Python5 24 225
kframework/kale
kale backend
Language:Scala4 12 108
kframework/orc-semantics
Language:Csound4 6 01
kframework/homebrew-k
K Homebrew tap
Language:Ruby3 13 11
kframework/kat
Language:Standard ML3 24 52
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.
2 8 01
kframework/rust-metamath
A Rust Implementation of Metamath
Language:Rust2 9 0
kframework/llvm-semantics-old
Formal semantics of LLVM IR in K (old)
Language:LLVM1 10 03
kframework/.github
6 0
kframework/eei-semantics
Language:Makefile7 21
kframework/ewasm-semantics
Language:WebAssembly13 41
kframework/k-project-template
Project Template
6 0
kframework/klab
K-framework simple debugger
Language:JavaScript6 0
kframework/kore-parser-tests
23 0
kframework/parser
Language:Java22 0
kframework/tidy
3 0