Explore @kframework Open Source projects

K framework (@kframework)

kframework

Stars
923
Global Org. Rank 16,186 (Top 6 %)
Registered over 11 years ago
Most used languages

Java
15.0 %

Python
15.0 %

Haskell
10.0 %

Shell
5.0 %

C
5.0 %

LLVM 5.0 %

P4 5.0 %

SMT 5.0 %

Standard ML 5.0 %

Rust
5.0 %

Csound 5.0 %

Scala
5.0 %

JavaScript
5.0 %

Boogie 5.0 %

Assembly
5.0 %
Location 🇷🇴 Romania
Country Total Rank 71
Country Ranking

Boogie 1

Csound 1

LLVM 1

P4 1

SMT 1

Assembly
2

Haskell
2

Standard ML 2

C
8

Scala
15

Java
17

Shell
30

Python
72

Rust
79

JavaScript
84

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.

java-semantics

The semantics of Java in K

p4-semantics

Formal Semantics of P4 in K

matching-logic-prover

semantic-approaches

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

k-in-k

Defining the semantics of K in K

jvm-semantics

Semantics of the Java Virtual Machine.

kweb

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

boogie-semantics

kale

orc-semantics

kat

homebrew-k

aadl-semantics

Formal semantics of AADL 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.

rust-metamath

A Rust Implementation of Metamath

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