Explore projects
-
-
Updated
-
-
dtk / dtk-widgets
BSD 3-Clause "New" or "Revised" LicenseA set of commonly used widgets written using Qt5.
Updated -
Updated
-
gismo / gismo
Mozilla Public License 2.0UpdatedUpdated -
qparse / qparselib
CeCILL Free Software License Agreement v2.1Music transcription framework based on parsing for weighted regular tree grammars
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 -
NumPex-PC5-WP3 / Melissa
BSD 3-Clause "New" or "Revised" LicenseUpdated -
The Openvibe Group / extras
GNU Affero General Public License v3.0The OpenViBE extras: Acquisition Server, demos, plugin contributions
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 -
Pallas / Pallas
BSD 3-Clause "New" or "Revised" LicensePallas is a scalable trace format for HPC applications.
Updated -
Arsene-PEPR / llvm-fence-spec
Apache License 2.0Updated -
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 -
Basic system C/C++ interfaces to ease multi-language middleware integration
Updated -
erable / KisSplice
CeCILL Free Software License Agreement v2.0Updated -
solverstack / Chameleon
OtherDense linear algebra subroutines for heterogeneous and distributed architectures
Updated -
-
xlifepp / xlifepp
GNU General Public License v3.0 onlyXLiFE++ is an extended finite element library developed in C++
Updated -
ViTE is a trace explorer. It is a tool to visualize execution traces in Pajé or OTF format for debugging and profiling parallel or distributed applications. It is an open source software licenced under CeCILL-A.
Updated