Explore projects
-
ROUZAUD-CORNABAS Jonathan / aevol
GNU General Public License v3.0 onlyUpdated -
Code for the paper "Reducing the number of qubits in quantum factoring" by Clémence Chevignard, Pierre-Alain Fouque and André Schrottenloher.
Updated -
mpfr / mpfr
GNU General Public License v3.0 or laterGNU MPFR is an efficient arbitrary-precision floating-point library with well-defined semantics (copying the good ideas from the IEEE 754 standard), in particular correct rounding in 5 rounding modes.
Updated -
ADFG / ADFG
Affero General Public License v1.0ADFG checks the scheduling feasibility of an Ultimately Cyclo-Static DataFlow (UCSDF) graph which represents a system of actors (or processes) and their dependencies (data production and consumption rates), aka channels between them.
Updated -
HanditechLab Inria / bipbip
CeCILL Free Software License Agreement v2.1Updated -
solverstack / fabulous
CeCILL-C Free Software License AgreementIterative Block Krylov solvers
Updated -
tansiv / Qemu
GNU Lesser General Public License v2.1 onlyUpdated -
Léo Cosseron / qemu
GNU Lesser General Public License v2.1 onlyUpdated -
OCSR / UMANS
MIT LicenseUnified Microscopic Agent Navigation Simulator: A crowd-simulation engine that captures many local microscopic simulation algorithms in a single framework.
Updated -
-
Paracirce / ParaCirce
GNU Affero General Public License v3.0A Gaussian Random Field (GRF) generation library using Circulant Embedding method.
Updated -
Updated
-
-
H2M / h2m-recommender
BSD 3-Clause "New" or "Revised" LicenseTrait recommender for abstraction approach and placement optimizer for interception approach
Updated -
Auctus Team / Components / Control / Qontrol
GNU General Public License v3.0 or laterUpdated -
FRAIRE Juan Andres / DtnSim
MIT LicenseDtnSim is a simulator to study different Delay/Disruption Tolerant Networks (DTN) aspects, such as routing, forwarding, scheduling, and planning.
Updated -
Geomerix / public / mfs-chol
GNU General Public License v3.0 or laterUpdated