Explore projects
-
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 -
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 -
parcoach / parcoach
GNU Lesser General Public License v2.1 onlyUpdated -
DERUMIGNY Nicolas / palmed
GNU General Public License v3.0 or laterGUS feet: generation of a performance model from a pipedream-compatible ISA
Updated -
melissa / Melissa
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Mapping a tensor to a lower-dimensional tensor, optionally permuting its dimensions. This project strives to generate loop iterating over these structures.
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 -
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
-
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 -
-
qparse / qparselib
CeCILL Free Software License Agreement v2.1Music transcription framework based on parsing for weighted regular tree grammars
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 -
Teaching material for an industrial audience
Updated -
An experimental CROCO version to research a new DSL approach based on uplifting to a DSL-IR.
Updated -
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 -
Welcome to Hintikka's world! This website shows intelligent artificial agents reasoning about higher-order knowledge (a knows that b knows that...). It enables to explore mental states of the agents by clicking on them.
Updated -
Pallas / Pallas
BSD 3-Clause "New" or "Revised" LicensePallas is a scalable trace format for HPC applications.
Updated