cbritopacheco/rodin

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

Language: C++ - Size: 168 MB - Last synced at: about 4 hours ago - Pushed at: about 9 hours ago - Stars: 51 - Forks: 9

8bitprodigy/liver

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

Size: 111 KB - Last synced at: 4 months ago - Pushed at: 12 months ago - Stars: 3 - Forks: 0

eventB-Soton/Rodin-Bundles

Rodin Platform Bundles that include features developed by our group

Language: HTML - Size: 505 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 1

luongnv89/Poker-Game

A Poker Game implementation

Language: HTML - Size: 1.21 MB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 0

PatrickShaw/University-FIT3013-LiftSystemSpecification

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

Size: 790 KB - Last synced at: 4 months ago - Pushed at: over 8 years ago - Stars: 2 - Forks: 0

hhu-stups/camille

(READ ONLY MIRROR) The Camille Editor for Rodin

Language: Java - Size: 647 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 1

huynq55-v2/torus-with-helix-trench

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.

Language: OpenSCAD - Size: 18.6 KB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 0 - Forks: 0

subhadeeproy3902/3D-model-generator

A modern web application that generates high-quality 3D models from images or text prompts using the Hyper3D API.

Language: TypeScript - Size: 98.6 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

eventB-Soton/Rodin-Docker

Source code for building Docker images for running/developing Rodin

Size: 5.86 KB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 1

ionutfinta/UNamur_INFOB236_GR4_FerryBoat

Projet de FerryBoat en Event-B Rodin

Language: Java - Size: 34.2 MB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

ionutfinta/Event-B-Rodin-sumFunction

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

Size: 132 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

Naraujo13/Graph-Grammar-Translator

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.

Language: Java - Size: 5.89 MB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

andreiSaw/event-b-tickets

Size: 6.84 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

andreiSaw/event-b-press

Size: 30.3 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0