Explore projects
-
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 -
Updated
-
-
-
compose / legacystack / cpp_tools
CeCILL-C Free Software License AgreementUpdated -
GMYS Jan / PermutationBB
BSD 3-Clause "New" or "Revised" LicenseA massively parallel Branch&Bound algorithm for the exact resolution of permutation-based optimization problems, like Permutation Flow-shop Scheduling
Updated -
faust group / faust
BSD 2-Clause "Simplified" LicenseThe FAµST toolbox provides algorithms and data structures to decompose a given dense matrix into a product of sparse matrices in order to reduce its computational complexity. https://faust.inria.fr
Updated -
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 -
kstar / kstar
CeCILL Free Software License Agreement v1.0KSTAR is a source-to-source C/C++ compiler that translates OpenMP pragmas calls to parallel programming libraries like StarPU or KAAPI.
Updated -
-
Coquelicot / coquelicot
OtherA Coq formalization of real analysis compatible with the standard library.
Updated -
Damaris / damaris
OtherThis is the public project for Damaris. In this project the main line of source codes. The latest version of the documentation is stored here: https://project.inria.fr/damaris/documentation/.
Updated -
Updated
-
-
LASHERMES Ronan / Binutils_with_fences_2.42
GNU Library General Public License v2 onlyUpdated -
-
Geomerix / public / Go Green
GNU General Public License v3.0 or laterImplementation of Chen's "Go Green" SIGGRAPH 2022 paper
Updated -
-
tansiv / ns-3-dev
GNU General Public License v2.0 or laterUpdated