Explore projects
-
Dense linear algebra subroutines for heterogeneous and distributed architectures
Updated -
Updated
-
implementation and metatheory of time credits and time receipts in Iris / Coq
Updated -
Updated
-
potential energy and gradients of potential energy of a set of springs
Updated -
Updated
-
Separation Logic with Characteristic Formulae Entirely within Coq
Updated -
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
Updated
-
FLoRaSat (Framework for LoRa-based Satellite networks) is an Omnet++ based discrete-event simulator to carry out end-to-end satellite IoT simulations based on LoRa and LoRaWAN adaptations to the space domain.
Updated -
-
A library to build experimental frameworks on multiple platforms
Updated -
Updated
-
-
-
-
Updated
-
Docker environment for perception nodes for bodies: front_fisheye_2d_body_pose_detector, 3d_body_tracker, body_to_face_mapper, group_detector
Updated -
Official Github repository for the CVPR 2022 paper "GIRAFFE HD: A High-Resolution 3D-aware Generative Model"
Updated