Popular repositories Loading

1. k k Public

   Forked from kframework/k-legacy

   The K tools

   Java

2. k-1 k-1 Public

   Forked from runtimeverification/k

   K Framework Tools 5.0

   Java

3. solidity solidity Public

   Forked from runtimeverification/solidity

   Fork of the Solidity Compiler for compiling Solidity to IELE

   C++

4. firedancer firedancer Public

   Forked from firedancer-io/firedancer

   Firedancer is Jump Crypto's Solana consensus node implementation.

   C

5. roundtablehold.github.io roundtablehold.github.io Public

   Forked from RoundtableHold/roundtablehold.github.io

   Progress tracker for completionists

   Python

6. llvm-backend llvm-backend Public

   Forked from runtimeverification/llvm-backend

   KORE to llvm translation

   C++