Explore projects
-
Updated
-
-
LAMIAUX Thomas / 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 -
COUDERT David / hyperbolicity
GNU General Public License v3.0 onlyAlgorithms for computing the hyperbolicity of graphs
Updated -
gismo / gismo
Mozilla Public License 2.0UpdatedUpdated -
A Coq formalization of real analysis compatible with the standard library.
Updated -
Arsene-PEPR / llvm-fence-spec
Apache License 2.0Updated -
Auctus Team / Components / Robots / Panda / panda_qp_control
CeCILL Free Software License Agreement v2.1Updated -
kernelo-mistis / kernelo-gllim-is
CeCILL-C Free Software License AgreementUpdated -
xlifepp / xlifepp
GNU General Public License v3.0 onlyXLiFE++ is an extended finite element library developed in C++
Updated -
-
CLAUSS Philippe / apollo
BSD 3-Clause "New" or "Revised" LicenseAutomatic speculative POLyhedraL Loop Optimizer
Updated -
vidjil / vidjil
GNU General Public License v3.0 onlyAn open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data
Updated -
-
-
simgrid / simgrid
GNU Lesser General Public License v2.1 onlySimGrid is a toolkit that provides core functionalities for the simulation of distributed applications in heterogeneous distributed environments.
Updated -
LUISELLI Juliette / aevol-eukaryotes
GNU General Public License v3.0 onlyFork of Aevol in order to develop an eukaryotic version
Updated -
-