Explore projects
-
-
Convert a vtk file to an om and mark every edge that shows up as separate entity in the input as feature. This is convenient to work with the output of gmsh.
Updated -
Updated
-
Chihaoui, Hamadi (INF) / SR
MIT LicenseUpdated -
Runtime Verification using Temporal Logic in the NASA F' FrameworkUpdated
-
Updated
-
A prototypical implementation of view graph transformation, a generic yet rigorous foundation for specifying rule-based view transformations based on graph transformation concepts.
Updated -
-
Updated
-
-
Oeftiger, Julius (STUDENTS) / Rust-V
MIT LicenseUpdated -
-
-
-
CGG-public / Conan / metis
Apache License 2.0Archived 0Updated