Explore projects
-
Updated
-
Oeftiger, Julius (STUDENTS) / Rust-V
MIT LicenseUpdated -
Python script to convert a 2D matlab matrix file to C++ header/source that defines compile-time Eigen matrices.
Updated -
-
Updated
-
Updated
-
Charisoudis, Athanasios (INF) / RAFT
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
Runtime Verification using Temporal Logic in the NASA F' FrameworkUpdated
-
Updated
-
Updated
-
Updated
-
Efficient Video Prediction via Sparsely Conditioned Flow Matching. In ICCV, 2023.
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