Pinned Loading

1. clade clade Public

   Clade is a tool for extracting information about software build process and source code

   Python 19 6

2. ldv-klever/klever ldv-klever/klever Public

   Read-only mirror of the Klever Git repository

   Python 21 12

3. cif cif Public

   Forked from ldv-klever/cif

   C

4. aspectator aspectator Public

   Forked from ldv-klever/aspectator

5. eventb-to-txt eventb-to-txt Public

   Event-B to txt converter

   Python 6 1

6. Daohub-io/cap9-spec Daohub-io/cap9-spec Public

   Formal specification of the Cap9 kernel

   Isabelle 3