CLEARSY

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.

Python 0AGPL-3.0 0 0 0 Updated Aug 13, 2026

atelierb-mcp Public

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

Python 0AGPL-3.0 0 2 0 Updated Aug 6, 2026

pog2smtlib-2.7 Public

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

SMT 0GPL-3.0 1 1 1 Updated Jun 5, 2026

POG2WhyML Public

Translates POG files to WhyML

C++ 0GPL-3.0 1 0 0 Updated Jun 4, 2026

B-Submission-Kit Public

Python 0 0 0 0 Updated May 6, 2026

POGLIB Public

A library to access Atelier B POG files

C++ 0GPL-3.0 0 1 0 Updated Apr 17, 2026

BAST Public

A C++ library to represent B Abstract Syntax Trees

C++ 0AGPL-3.0 0 1 1 Updated Mar 13, 2026

CSSP-Programming-Handbook Public template

The CLEARSY Safety Platform Programming Handbook

TeX 5 0 9 0 Updated Jan 16, 2026

BCOMPILER Public

Syntactic and semantic analysis of B source files.

C++ 2GPL-3.0 0 0 0 Updated Nov 16, 2025

BWORKBOOK Public

C 9 0 0 0 Updated Sep 19, 2025

Navigation Menu

Uh oh!

Uh oh!

CLEARSY

Popular repositories Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Uh oh!

Most used topics

Uh oh!