Skip to content
@CLEARSY

CLEARSY

CLEARSY Systems Engineering

Popular repositories Loading

  1. tutorial-ABZ-2021 tutorial-ABZ-2021 Public

    C 5 1

  2. CSSP-Programming-Handbook CSSP-Programming-Handbook Public template

    The CLEARSY Safety Platform Programming Handbook

    TeX 4

  3. b2rust b2rust Public

    A Rust code generator for provably correctly designed software components

    C++ 3

  4. hackathon hackathon Public

    Hackathon organized at IMD/UFRN in Natal (July 2023)

    2

  5. tutorial-ABZ-2023 tutorial-ABZ-2023 Public

    1

  6. hackathon-2024 hackathon-2024 Public

    Hackathon organized at IMD/UFRN in Natal (July 2024)

    1

Repositories

Showing 10 of 16 repositories
  • hackathon-2024 Public

    Hackathon organized at IMD/UFRN in Natal (July 2024)

    CLEARSY/hackathon-2024’s past year of commit activity
    1 CC0-1.0 0 0 0 Updated Jul 3, 2024
  • atypik Public

    A TYPe Inference Kit for B.

    CLEARSY/atypik’s past year of commit activity
    C++ 0 AGPL-3.0 0 0 0 Updated Jun 26, 2024
  • pptranspog Public

    Encoding of proof obligations generated by Atelier B to typed first-order formats (SMT, TPTP) using the ppTrans approach

    CLEARSY/pptranspog’s past year of commit activity
    C++ 0 GPL-3.0 2 3 1 Updated Jun 19, 2024
  • b2rust Public

    A Rust code generator for provably correctly designed software components

    CLEARSY/b2rust’s past year of commit activity
    C++ 3 GPL-3.0 0 0 0 Updated May 15, 2024
  • BCOMPILER Public

    Syntactic and semantic analysis of B source files.

    CLEARSY/BCOMPILER’s past year of commit activity
    C++ 0 GPL-3.0 0 0 0 Updated Mar 27, 2024
  • POG2WhyML Public

    Translates POG files to WhyML

    CLEARSY/POG2WhyML’s past year of commit activity
    C++ 0 AGPL-3.0 0 0 0 Updated Feb 23, 2024
  • 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 0 0 Updated Feb 23, 2024
  • bxtc Public

    A simple type checker for XML files generated in Atelier B

    CLEARSY/bxtc’s past year of commit activity
    C++ 0 GPL-3.0 0 0 0 Updated Feb 20, 2024
  • Atelier-B-Installation-Guide Public

    Atelier B Installation Guide

    CLEARSY/Atelier-B-Installation-Guide’s past year of commit activity
    TeX 0 0 0 0 Updated Oct 23, 2023
  • hackathon Public

    Hackathon organized at IMD/UFRN in Natal (July 2023)

    CLEARSY/hackathon’s past year of commit activity
    2 0 0 0 Updated Jul 13, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…