kframework/k-in-k kframework/k-in-k

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language
    Python
  • License
    Other
  • Created about 6 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kframework/k-in-k
github

kframework

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Defining the semantics of K in K

More Repositories

1

c-semantics

Semantics of C in K
C
305
star
2

k-legacy

The K tools (deprecated, see README)
Java
146
star
3

X86-64-semantics

Semantics of x86-64 in K
Assembly
140
star
4

javascript-semantics

KJS: A Complete Formal Semantics of JavaScript
JavaScript
85
star
5

llvm-semantics

Formal semantics of LLVM IR in K
LLVM
44
star
6

vyper-semantics

KVyper: Semantics of Vyper in K
Python
41
star
7

solidity-semantics

Semantics of Solidity in K
Shell
29
star
8

haskell-core-semantics

Haskell's Core in K.
Haskell
20
star
9

java-semantics

The semantics of Java in K
Java
19
star
10

p4-semantics

Formal Semantics of P4 in K
P4
18
star
11

matching-logic-prover

SMT
15
star
12

semantic-approaches

A comprehensive experiments-based survey on various approaches to program semantics.
Haskell
11
star
13

jvm-semantics

Semantics of the Java Virtual Machine.
Java
5
star
14

kweb

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

boogie-semantics

Boogie
5
star
16

kale

kale backend
Scala
4
star
17

orc-semantics

Csound
4
star
18

kat

Standard ML
3
star
19

homebrew-k

K Homebrew tap
3
star
20

aadl-semantics

Formal semantics of AADL in K
2
star
21

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
star
22

rust-metamath

A Rust Implementation of Metamath
Rust
2
star
23

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
star