Explore projects
-
Updated
-
Runtime Verification using Temporal Logic in the NASA F' FrameworkUpdated
-
Chihaoui, Hamadi (INF) / SR
MIT LicenseUpdated -
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
-
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 -
Oeftiger, Julius (STUDENTS) / Rust-V
MIT LicenseUpdated -
Updated
-
Repository for the research group on Earth System Modeling: Atmospheric Dynamics of the Climate and Environmental Physics Institute of the University of Bern
Updated -
-
Python script to convert a 2D matlab matrix file to C++ header/source that defines compile-time Eigen matrices.
Updated -
-