Explore projects
-
Updated
-
AMIBIO / Infrared
GNU General Public License v3.0 onlyA framework for declarative modeling and efficient tree decomposition based optimization and Boltzmann sampling
Updated -
erable / KisSplice
CeCILL Free Software License Agreement v2.0Updated -
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 -
Updated
-
Updated
-
HanditechLab Inria / exofinger
CeCILL Free Software License Agreement v2.1Prototypage pour Exofinger
Updated -
-
Builds multi-language compilation packages and related documentation
Updated -
dynres / applications / DynPetsc
BSD 2-Clause "Simplified" LicenseUpdated -
-
PianoTouch / pianolib
GNU General Public License v3.0 onlyUpdated -
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 -
dtk / dtk-widgets
BSD 3-Clause "New" or "Revised" LicenseA set of commonly used widgets written using Qt5.
Updated -
dtk / dtk-core
BSD 3-Clause "New" or "Revised" LicensedtkCore provides fundamental tools to build modular platform.
Updated -
GILLES Sebastien / GettingStartedWithModernCpp
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalA tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.
Updated -
Formations / Cpp / GettingStartedWithModernCpp
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalA tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.
Updated