Explore projects
-
Flocq / flocq
OtherFlocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.
Updated -
Coquelicot / coquelicot
OtherA Coq formalization of real analysis compatible with the standard library.
Updated -
CAPSULE / Code for Module-LIP
GNU Affero General Public License v3.0Code for the cryptanalysis of rank 2 module-LIP over totally real field.
Updated -
Updated
-
-
ROSSETTI Clement / trahrhe-blitzcrank
MIT LicenseUpdated -
Updated
-
tansiv / Linux TANSIVTx
OtherUpdated -
tansiv / Qemu
GNU Lesser General Public License v2.1 onlyUpdated -
TAVASSOLI KEJANI Mohammadbagher / open5gs-k8s
MIT License5G Core deployment using Open5gs on Kubernetes
Updated -
edge / sicg_algo_for_2ro
GNU Affero General Public License v3.0Updated -
Updated
-
LE CORRE Pauline / Enzbert API and modif
GNU Affero General Public License v3.0Updated -
MASSON Arthur / BioImageIT
BSD 4-Clause "Original" or "Old" LicenseUpdated -
dtk / dtk-conda-recipes
BSD 3-Clause "New" or "Revised" Licenseconda recipes for building dtk, dtk layers and plugins
Updated -
Updated