Explore projects
-
Python script to convert a 2D matlab matrix file to C++ header/source that defines compile-time Eigen matrices.
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 -
-
-
-
-
-
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
-
Runtime Verification using Temporal Logic in the NASA F' FrameworkUpdated
-
Updated
-
Updated