Explore projects
-
Updated
-
-
This is a repository used to store the coverage report as a static webpage
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 -
xlifepp / xlifepp
GNU General Public License v3.0 onlyXLiFE++ is an extended finite element library developed in C++
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 -
-
Coquelicot / coquelicot
OtherA Coq formalization of real analysis compatible with the standard library.
Updated -
-
Arsene-PEPR / llvm-fence-spec
Apache License 2.0Updated -
vidjil / vidjil
GNU General Public License v3.0 onlyAn open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data
Updated -
-
-
gismo / gismo
Mozilla Public License 2.0UpdatedUpdated -
tansiv / TANSIV
BSD 3-Clause "New" or "Revised" LicenseTime-Accurate Network Simulation Interconnecting Vms
Updated -
tansiv / Qemu
GNU Lesser General Public License v2.1 onlyUpdated -
solverstack / ScalFMM
CeCILL-C Free Software License AgreementN-body simulation using kernel independent Fast Multipole Method
Updated -
-
CLAUSS Philippe / apollo
BSD 3-Clause "New" or "Revised" LicenseAutomatic speculative POLyhedraL Loop Optimizer
Updated