Popular repositories Loading

1. k k Public

   Forked from kframework/k-legacy

   The K tools

   Java

2. KFuture KFuture Public

   Forked from roKmania/KFuture

   A K definition of the Future language as specified by A Complete Guide to the Future

3. kore kore Public

   Forked from runtimeverification/haskell-backend

   Haskell

4. alk-k-semantics alk-k-semantics Public

   Forked from alk-language/k-semantics

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

   Perl

5. alk-java-semantics alk-java-semantics Public

   Forked from alk-language/java-semantics

   Java implementation of Alk. (in progress)

   Java

6. circ circ Public

   CIRC is an automated (co)inductive theorem prover based on circular (co)induction.