Pinned

1. clade

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

   Python 7 1

2. aspectator

   Aspectator is a GCC based tool that implements aspect-oriented programming for the C programming language

   C 1

3. cif

   C Instrumentation Framework is a user-friendly interface for Aspectator

   C 2 1

4. eventb-to-txt

   Event-B to txt converter

   Python 4

5. base-model

   First level of the Event-B specification of the HIMACF model (with role-based access control)

   2 1

6. Daohub-io/cap9-spec

   Formal specification of the Cap9 kernel

   Isabelle 3