Pinned Loading

1. ethereum-optimism/optimism ethereum-optimism/optimism Public

   Optimism is Ethereum, scaled.

   Go 5.8k 3.4k

2. runtimeverification/k runtimeverification/k Public

   K Framework Tools 7.0

   Python 458 151

3. runtimeverification/kontrol runtimeverification/kontrol Public

   Python 60 9

4. runtimeverification/pyk runtimeverification/pyk Public archive

   Python tools for the K Framework

   Python 13 2

5. runtimeverification/kup runtimeverification/kup Public

   K and Semantics Distribution Tool

   Python 6 1

6. runtimeverification/automerge runtimeverification/automerge Public

   Github Pull Request Management Runtime Verification

   Python 1