A modern C++20 FEM library 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.
A Rust toolchain for Event-B: parser, static checker, CLI and Language Server (LSP) with Rodin round-tripping
🎨 Text-to-3D model generation web app using Hyper3D Rodin AI API. Next.js 15, TypeScript, Three.js, real-time progress, multi-format export.
Native hardware-control suite for Xiaomi Rodin (POCO X7 Pro / Redmi Turbo 4), built with Flutter and Rust.
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.
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
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.
To associate your repository with the rodin topic, visit your repo's landing page and select "manage topics."