Popular repositories Loading

1. c-semantics c-semantics Public

   Semantics of C in K

   C 315 43

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

   Semantics of x86-64 in K

   Assembly 153 14

3. k-legacy k-legacy Public archive

   The K tools (deprecated, see README)

   Java 146 61

4. javascript-semantics javascript-semantics Public

   KJS: A Complete Formal Semantics of JavaScript

   JavaScript 88 21

5. llvm-semantics llvm-semantics Public

   Formal semantics of LLVM IR in K

   LLVM 46 10

6. vyper-semantics vyper-semantics Public

   KVyper: Semantics of Vyper in K

   Python 41 9