Modern C++20 finite element method and shape optimization framework.
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.
Event-B ✔️ formal specification, verification, and refinement assignments 🔬 for module: CA648
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.
A modern web application that generates high-quality 3D models from images or text prompts using the Hyper3D API.
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.
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."