A Rust toolchain for Event-B: parser, static checker, CLI and Language Server (LSP) with Rodin round-tripping

Convert Event-B machines and contexts (.bum/.buc) to CamilleX plain-text models

Public part of the Event-B specification of the HIMACF model (formerly MROSL DP-model) — role-based access control for OS security

Homebrew tap for the Event-B / B-method ecosystem — Rodin, Atelier B, ProB2-UI, EventBTool

Headless toolchain to build, model-check and prove Rodin Event-B models from the command line — native or via Docker

Scoop bucket (Windows) for the Event-B / B-method tool ecosystem — Rodin, ProB and CLI tools

Tree-sitter grammar for the Event-B formal language (.eventb textual syntax), generated from Rossi

Command-line validator for Event-B models. Provides GitHub action.

Command-line tool to animate Event-B models with ProB — random animation, invariant checking, trace replay (no Rodin required)

APT repository (Debian/Ubuntu) for the Event-B / B-method ecosystem — Rodin, ProB, Atelier B and CLI tools

Gentoo ebuild overlay for Event-B / B-method tools — Rodin, ProB and more

Fedora COPR RPM packaging for the Event-B / B-method ecosystem — Rodin, Atelier B, ProB and CLI tools