Skip to content
@SkyLabsAI

SkyLabs AI

Popular repositories Loading

  1. BRiCk BRiCk Public

    Formalization of C++ for verification purposes.

    Rocq Prover 87 15

  2. brick-libcpp brick-libcpp Public

    Specifications of the C++ standard library in BRiCk.

    TeX 4 1

  3. rocq-agent-toolkit rocq-agent-toolkit Public

    Agent infrastructure for Rocq

    Python 2

  4. rocq-stdpp rocq-stdpp Public

    An extended "Standard Library" for Rocq

    Rocq Prover 1

  5. rocq-rfcs rocq-rfcs Public

    Forked from rocq-prover/rfcs

    Coq Enhancement Proposals

  6. fm-workspace fm-workspace Public

    Shell 2

Repositories

Showing 10 of 20 repositories
  • rocq-agent-toolkit Public

    Agent infrastructure for Rocq

    SkyLabsAI/rocq-agent-toolkit’s past year of commit activity
    Python 2 0 15 (1 issue needs help) 7 Updated Jan 17, 2026
  • brick-libcpp Public

    Specifications of the C++ standard library in BRiCk.

    SkyLabsAI/brick-libcpp’s past year of commit activity
    TeX 4 BSD-3-Clause 1 7 3 Updated Jan 16, 2026
  • workspace Public

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

    SkyLabsAI/workspace’s past year of commit activity
    Shell 0 0 9 (2 issues need help) 0 Updated Jan 16, 2026
  • BRiCk Public

    Formalization of C++ for verification purposes.

    SkyLabsAI/BRiCk’s past year of commit activity
    Rocq Prover 87 15 8 4 Updated Jan 12, 2026
  • auto-docs Public

    BlueRock Automation Docs

    SkyLabsAI/auto-docs’s past year of commit activity
    Rocq Prover 0 1 0 0 Updated Dec 19, 2025
  • vsrocq Public Forked from rocq-prover/vsrocq

    Visual Studio Code extension for Coq

    SkyLabsAI/vsrocq’s past year of commit activity
    OCaml 0 MIT 93 0 0 Updated Dec 19, 2025
  • rocq Public Forked from rocq-prover/rocq

    The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

    SkyLabsAI/rocq’s past year of commit activity
    OCaml 0 LGPL-2.1 727 0 1 Updated Dec 19, 2025
  • fm-ci Public
    SkyLabsAI/fm-ci’s past year of commit activity
    Python 0 1 2 1 Updated Dec 18, 2025
  • rocq-stdlib Public Forked from rocq-prover/stdlib

    Stdlib for the Rocq Prover

    SkyLabsAI/rocq-stdlib’s past year of commit activity
    Rocq Prover 0 LGPL-2.1 30 0 0 Updated Nov 22, 2025
  • rocq-lsp Public Forked from ejgallego/rocq-lsp

    Visual Studio Code Extension and Language Server Protocol for Rocq / Coq

    SkyLabsAI/rocq-lsp’s past year of commit activity
    OCaml 0 LGPL-2.1 51 0 0 Updated Nov 19, 2025
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…