Popular repositories Loading

1. k-light k-light Public

   The K parser focused only on parsing programs.

   Java 1 1

2. k-legacy k-legacy Public

   Forked from kframework/k-legacy

   The K tools

   Java

3. c-semantics c-semantics Public

   Forked from kframework/c-semantics

   Semantics of C in K

   C

4. java-front-parser java-front-parser Public

   Java 1

5. javascript-semantics javascript-semantics Public

   Forked from kframework/javascript-semantics

   KJS: A Complete Formal Semantics of JavaScript

   JavaScript

6. k-semantics k-semantics Public

   Forked from alk-language/k-semantics

   This repository includes the K specifications of the Alk language and of its dialects.

   Perl