Explore projects
-
Repository for the research group on Earth System Modeling: Atmospheric Dynamics of the Climate and Environmental Physics Institute of the University of Bern
Updated -
-
Oeftiger, Julius (STUDENTS) / Rust-V
MIT LicenseUpdated -
Updated
-
-
Runtime Verification using Temporal Logic in the NASA F' FrameworkUpdated
-
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 -
Consists of the gpt-model service code for the metamorphic testing - variable extraction tool.
Updated -
Contains all code for the web client part of the tool
Updated -
Charisoudis, Athanasios (INF) / RAFT
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Charisoudis, Athanasios (INF) / GMFlowNet
MIT LicenseGlobal Matching with Overlapping Attention for Optical Flow Estimation, CVPR 2022
Updated -
Charisoudis, Athanasios (INF) / FlowFormer-Official
Apache License 2.0Updated -
Easy generative modeling in PyTorch.
Updated -
Charisoudis, Athanasios (INF) / latent-diffusion
MIT LicenseHigh-Resolution Image Synthesis with Latent Diffusion Models
Updated -
SEG / Datasets / openvpn
GNU General Public License v2.0 or laterUpdated -
SEG / Datasets / Marlin
GNU General Public License v3.0 or laterUpdated -
SEG / Datasets / busybox
GNU General Public License v2.0 or laterUpdated