Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with rodin
A curated list of projects in awesome lists tagged with rodin .
https://github.com/cbritopacheco/rodin
Modern C++20 finite element method and shape optimization framework.
c-plus-plus cpp fem finite-element-analysis finite-element-methods form-language mesh multiphysics partial-differential-equations pde pde-solver rodin rodin-fem shape-optimization topology-optimization
Last synced: 12 Nov 2024
https://github.com/patrickshaw/university-fit3013-liftsystemspecification
A formal specification written in Event-B notation that formally specifies the behaviour of a multi-lift elevator system.
assignment event-b formal-specification group-assignment mathematics rodin university
Last synced: 17 Dec 2024
