Explore projects
-
Updated
-
Updated
-
Updated
-
discovery / enoslib
GNU General Public License v3.0 onlyA library to build experimental frameworks on multiple platforms
Updated -
l1p5 / l1p5-vuejs
GNU General Public License v3.0 or laterUpdated -
TAMDRARI Nina / latex-template
BSD 3-Clause "New" or "Revised" LicenseUpdated -
D3 / pySBM
OtherUpdated -
TAYEB Hayfa / StarPU multiprio scheduler
GNU Lesser General Public License v2.1 onlyUpdated -
learninglab / epoc / epoc-types
CeCILL-B Free Software License AgreementUpdated -
Updated
-
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 -
astec / ascidian
GNU General Public License v3.0 onlyUpdated -
-
solverstack / ScalFMM
CeCILL-C Free Software License AgreementN-body simulation using kernel independent Fast Multipole Method
Updated -
Updated
-
-
ROSSETTI Clement / pluto-openscop
MIT LicenseUpdated