All Git Users → kframework

9 open source projects by kframework

[ Open user page on Github ]

Semantics of C in K

✭ 251

K Framework Tools 5.0

✭ 207

The K tools (deprecated, see README)

✭ 151

The symbolic execution engine powering the K Framework

✭ 133

5. X86 64 Semantics

Semantics of x86-64 in K

✭ 108

assembly x86-64

6. Evm Semantics

K Semantics of the Ethereum Virtual Machine (EVM)

✭ 275

7. llvm-backend

KORE to llvm translation

✭ 27

C++scala python CMake LLVM Nix

8. vyper-semantics

KVyper: Semantics of Vyper in K

✭ 36

9. java-semantics

The semantics of Java in K

✭ 14

java tcl javascript haskell c shell

1-9 of 9 user projects