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 -
CGG-public / Conan / metis
Apache License 2.0Archived 0Updated -
-
-
-
Oeftiger, Julius (STUDENTS) / Rust-V
MIT LicenseUpdated -
-
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
-
Chihaoui, Hamadi (INF) / SR
MIT LicenseUpdated -
Updated