A modern C++20 FEM library for shape and topology optimization.
EVONIX Kernel for Poco X7 Pro (rodin)
A public-domain sans-serif font in the style of Microgramma/Eurostile/Goma/Shin-Go/Rodin/Saira, modeled with screens in mind.
A modern web application that generates high-quality 3D models from images or text prompts using the Hyper3D API.
A Rust toolchain for Event-B: parser, static checker, CLI and Language Server (LSP) with Rodin round-tripping
Public part of the Event-B specification of the HIMACF model (formerly MROSL DP-model) — role-based access control for OS security
Native hardware-control suite for Xiaomi Rodin (POCO X7 Pro / Redmi Turbo 4), built with Flutter and Rust.
A formal specification written in Event-B notation that formally specifies the behaviour of a multi-lift elevator system.
AI interior design workflow toolkit — handbook-grounded, citation-backed. 39-chapter design handbook, 19 styles, 8 space types, 5 Claude skills, 5 commands, 2 agents, 9-dimension quality gates, 80-tool Blender MCP integration.
A curated list of awesome resources for the Event-B formal method.
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.
Agent Skill for writing, validating, and model-checking Event-B formal models with rossi and ProB.
Event-B ✔️ formal specification, verification, and refinement assignments 🔬 for module: CA648
To associate your repository with the rodin topic, visit your repo's landing page and select "manage topics."