Popular repositories Loading

1. c-semantics c-semantics Public

   Semantics of C in K

   C 306 40

2. k-legacy k-legacy Public archive

   The K tools (deprecated, see README)

   Java 146 61

3. X86-64-semantics X86-64-semantics Public

   Semantics of x86-64 in K

   Assembly 142 13

4. javascript-semantics javascript-semantics Public

   KJS: A Complete Formal Semantics of JavaScript

   JavaScript 85 21

5. llvm-semantics llvm-semantics Public

   Formal semantics of LLVM IR in K

   LLVM 44 9

6. vyper-semantics vyper-semantics Public

   KVyper: Semantics of Vyper in K

   Python 41 9