Geometry-first C++20 FEM for shape and topology optimization.
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.
EVONIX Kernel for Poco X7 Pro (rodin)
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
A formal specification written in Event-B notation that formally specifies the behaviour of a multi-lift elevator system.
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.
Event-B ✔️ formal specification, verification, and refinement assignments 🔬 for module: CA648
This OpenSCAD script generates a 3D torus model with two helical grooves (one right-handed and one left-handed) carved into its surface. The torus and grooves are fully parameterized, allowing easy control over size, proportions, and detail level.
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.
Add a description, image, and links to the rodin topic page so that developers can more easily learn about it.
To associate your repository with the rodin topic, visit your repo's landing page and select "manage topics."