Explore projects
-
melissa / Melissa
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
starpu / starpu
GNU Lesser General Public License v2.1 onlyA Unified Runtime System for Heterogeneous Multicore Architectures.
More informations on https://starpu.gitlabpages.inria.fr/
Updated -
gismo / gismo
Mozilla Public License 2.0UpdatedUpdated -
Basic system C/C++ interfaces to ease multi-language middleware integration
Updated -
Updated
-
parcoach / parcoach
GNU Lesser General Public License v2.1 onlyUpdated -
xlifepp / xlifepp
GNU General Public License v3.0 onlyXLiFE++ is an extended finite element library developed in C++
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 -
cado-nfs / cado-nfs
GNU Lesser General Public License v2.1 onlyCado-NFS, An Implementation of the Number Field Sieve Algorithm
If you want to report bugs, or participate in cado-nfs development, read this
Updated -
-
Updated
-
CLAUSS Philippe / apollo
BSD 3-Clause "New" or "Revised" LicenseAutomatic speculative POLyhedraL Loop Optimizer
Updated -
aevol / aevol
GNU General Public License v3.0 onlyUpdated -
dynres / dyn-procs / openpmix
BSD 3-Clause Open MPI variantUpdated -
Why3 / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
-