SkyLabs AI

Popular repositories Loading

1. BRiCk BRiCk Public

   Formalization of C++ for verification purposes.

   Rocq Prover 105 17

2. rocq-agent-toolkit rocq-agent-toolkit Public

   Agent infrastructure for Rocq

   Python 11 1

3. brick-libcpp brick-libcpp Public

   Specifications of the C++ standard library in BRiCk.

   TeX 7 2

4. rocq-stdpp rocq-stdpp Public

   An extended "Standard Library" for Rocq

   Rocq Prover 1

5. rocq-iris rocq-iris Public

   The Rocq development for Iris

   Rocq Prover 1

6. workspace workspace Public

   Workspace in which all the SkyLabs AI tooling can be cloned.

   Shell 1