Explore projects
-
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 -
The Openvibe Group / sdk
GNU Affero General Public License v3.0The OpenViBE SDK (certifiable perimeter). This mostly read-only repository clones the master branch of a different origin where the actual work is done. Normally there should be no other branches in this clone.
Updated -
The Openvibe Group / extras
GNU Affero General Public License v3.0The OpenViBE extras: Acquisition Server, demos, plugin contributions
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 -
-
Updated
-
LUISELLI Juliette / aevol-eukaryotes
GNU General Public License v3.0 onlyFork of Aevol in order to develop an eukaryotic version
Updated -
CLAUSS Philippe / apollo
BSD 3-Clause "New" or "Revised" LicenseAutomatic speculative POLyhedraL Loop Optimizer
Updated -
MoReFEM core library.
This library also contains some simple Models to illustrate how to use it, and several integration tests.
Updated -
CoqInterval / interval
CeCILL-C Free Software License AgreementCoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.
Updated -
-
solverstack / ScalFMM
CeCILL-C Free Software License AgreementN-body simulation using kernel independent Fast Multipole Method
Updated -
xlifepp / xlifepp
GNU General Public License v3.0 onlyXLiFE++ is an extended finite element library developed in C++
Updated -
Elan-public-code / ProjectiveFriction
GNU General Public License v3.0 or laterProjective Dynamics with Dry Frictional Contact
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 -
-
tansiv / TANSIV
BSD 3-Clause "New" or "Revised" LicenseTime-Accurate Network Simulation Interconnecting Vms
Updated -
-
Arsene-PEPR / llvm-fence-spec
Apache License 2.0Updated