Explore projects
-
Updated
-
Updated
-
MEZOUAK Mehdi / PX4-RT
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Updated
-
Read the momentum files from Deformetrica, and multiple the momenta by a constant (used in parallel transport).
Updated -
-
Computing mesh volume, projected volume, surface area.
Updated -
-
-
-
Loki / Happiness / GenevaDemo
GNU General Public License v3.0 onlyUpdated -
A Coq formalization of real analysis compatible with the standard library.
Updated -
Mediation-SIF / Laby / laby
GNU General Public License v3.0 onlyA fork of https://github.com/sgimenez/laby using Dune as a build system, adding some features along the way.
Updated -
MULLER Gilles / schedlog
OtherUpdated -
ESP32 firmware providing a REST API for controlling the devices installed in the escape game rooms.
Updated -
Puffertools / Pufferscale
MIT LicenseAn implementation of a modular malleability manager for Mochi services.
Updated -
Integration Pufferscale + SDSKV +REMI for SC paper.
Updated -
Puffertools / Pufferscaletest / Pufferscale-exp
MIT LicenseUpdated