Explore projects
-
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 -
melissa / melissa-sa
BSD 3-Clause "New" or "Revised" LicenseLarge Scale Sensitivity Analysis
Updated -
metapart / starpart
GNU General Public License v3.0 onlyFlexible and extensible framework that integrates state-of-the-art methods for graph partitioning and sparse matrix ordering.
Updated -
Pallas / Pallas
BSD 3-Clause "New" or "Revised" LicensePallas is a scalable trace format for HPC applications.
Updated -
parcoach / parcoach
GNU Lesser General Public License v2.1 onlyUpdated -
qparse / qparselib
CeCILL Free Software License Agreement v2.1Music transcription framework based on parsing for weighted regular tree grammars
Updated -
-
A C program for solving the heat propagation equation in 2D. Serves also as a toy project for playing with gitlab, gitlab-ci, Jenkins, SonarQube, etc.
Updated -
Updated
-
Teaching material for an industrial audience
Updated -
A tool to convert CGNS files to Gamma Mesh (libMeshb) Format
Updated -
A tool to convert Gamma Mesh Format (libMeshb) files to ParaView files
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 -
xlifepp / xlifepp
GNU General Public License v3.0 onlyXLiFE++ is an extended finite element library developed in C++
Updated -
melissa / Melissa
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Marko / juliaBindings
GNU General Public License v3.0 onlysnippets of the presentation given at Université de Lyon about binding Julia with C/Fortran/Pythp,
Updated -
Gratin - A programmable Node-based System for GPU-friendly Applications
Updated -
solverstack / maphys / maphyspp
CeCILL-C Free Software License AgreementUpdated -
The Openvibe Group / designer
GNU Affero General Public License v3.0The OpenViBE Designer project. 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 KaStORS benchmark suite has been designed to evaluate the implementation of the OpenMP dependent task paradigm, introduced as part of the OpenMP 4.0 specification.
Updated