Skip to content
@CLEARSY

CLEARSY

CLEARSY Systems Engineering

Popular repositories Loading

  1. BWORKBOOK BWORKBOOK Public

    C 9

  2. tutorial-ABZ-2021 tutorial-ABZ-2021 Public

    C 6 1

  3. CSSP-Programming-Handbook CSSP-Programming-Handbook Public template

    The CLEARSY Safety Platform Programming Handbook

    TeX 5

  4. b2rust b2rust Public

    A Rust code generator for provably correctly designed software components

    C++ 3

  5. apero apero Public

    Atelier B oPEn ResOurces

    HTML 2

  6. tutorial-ABZ-2023 tutorial-ABZ-2023 Public

    2

Repositories

Showing 10 of 33 repositories
  • FORMAL-DATA-VALIDATION-CHALLENGE-2027 Public
    CLEARSY/FORMAL-DATA-VALIDATION-CHALLENGE-2027's past year of commit activity
    0 0 0 0 Updated Oct 23, 2026
  • atelierb-mcp Public

    MCP Server for Atelier B - Integrating Claude AI with formal methods

    CLEARSY/atelierb-mcp's past year of commit activity
    Python 0 AGPL-3.0 0 1 0 Updated Aug 19, 2026
  • CSSP-RIO-Early-Access Public

    Remote I/O for the CLEARSY Safety Platform academic edition: a B application exchanges named 16-bit I/Os with external processes, well beyond the SK0 board's 3 digital inputs and 2 outputs. Windows, early access.

    CLEARSY/CSSP-RIO-Early-Access's past year of commit activity
    Python 0 AGPL-3.0 0 0 0 Updated Aug 19, 2026
  • pog2smtlib-2.7 Public

    Generates SMT-LIB 2.7 encodings for proof obligations from Atelier B.

    CLEARSY/pog2smtlib-2.7's past year of commit activity
    SMT 0 GPL-3.0 1 1 1 Updated Jun 5, 2026
  • POG2WhyML Public

    Translates POG files to WhyML

    CLEARSY/POG2WhyML's past year of commit activity
    C++ 0 GPL-3.0 1 0 0 Updated Jun 4, 2026
  • B-Submission-Kit Public
    CLEARSY/B-Submission-Kit's past year of commit activity
    Python 0 0 0 0 Updated May 6, 2026
  • POGLIB Public

    A library to access Atelier B POG files

    CLEARSY/POGLIB's past year of commit activity
    C++ 0 GPL-3.0 0 1 0 Updated Apr 17, 2026
  • BAST Public

    A C++ library to represent B Abstract Syntax Trees

    CLEARSY/BAST's past year of commit activity
    C++ 0 AGPL-3.0 0 1 1 Updated Mar 13, 2026
  • CSSP-Programming-Handbook Public template

    The CLEARSY Safety Platform Programming Handbook

    CLEARSY/CSSP-Programming-Handbook's past year of commit activity
    TeX 5 0 9 0 Updated Jan 16, 2026
  • BCOMPILER Public

    Syntactic and semantic analysis of B source files.

    CLEARSY/BCOMPILER's past year of commit activity
    C++ 2 GPL-3.0 0 0 0 Updated Nov 16, 2025
View all repositories