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 -
Implementation of Generating Diverse High-Fidelity Images with VQ-VAE-2 in PyTorch
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
-
Taming Transformers for High-Resolution Image Synthesis
Updated -
Updated
-
Runtime Verification using Temporal Logic in the NASA F' FrameworkUpdated
-
Efficient Video Prediction via Sparsely Conditioned Flow Matching. In ICCV, 2023.
Updated -
Updated
-
-
Updated
-
.om binary format definition for https://kaitai.io/ (very incomplete!)
Updated -
Contains all code for the web client part of the tool
Updated