Popular repositories Loading

1. c-semantics c-semantics Public

   Semantics of C in K

   C 316 43

2. X86-64-semantics X86-64-semantics Public

   Semantics of x86-64 in K

   Assembly 159 14

3. k-legacy k-legacy Public archive

   The K tools (deprecated, see README)

   Java 147 61

4. javascript-semantics javascript-semantics Public

   KJS: A Complete Formal Semantics of JavaScript

   JavaScript 90 19

5. llvm-semantics llvm-semantics Public

   Formal semantics of LLVM IR in K

   LLVM 47 10

6. vyper-semantics vyper-semantics Public

   KVyper: Semantics of Vyper in K

   Python 41 9