Modern C++20 finite element method and shape optimization framework.

A Poker Game implementation

Rodin Platform Bundles that include features developed by our group

A public-domain sans-serif font in the style of Microgramma/Eurostile/Goma/Shin-Go/Rodin/Saira, modeled with screens in mind.

A formal specification written in Event-B notation that formally specifies the behaviour of a multi-lift elevator system.

Formal model and verification of a multi-cabin elevator system in Event-B/Rodin, with additional static verification in Ada/SPARK (not in repo), following a requirement specification.

(READ ONLY MIRROR) The Camille Editor for Rodin

Given a graph grammar defined in AGG (.ggx) using a type graph, converts the file to a new one, usable in Rodin, containing the same definition.

Event-B ✔️ formal specification, verification, and refinement assignments 🔬 for module: CA648

Source code for building Docker images for running/developing Rodin

Projet de FerryBoat en Event-B Rodin

A function to sum your sets of integers in a flash !