Explore projects
-
tansiv / TANSIV
BSD 3-Clause "New" or "Revised" LicenseTime-Accurate Network Simulation Interconnecting Vms
Updated -
-
erable / KisSplice
CeCILL Free Software License Agreement v2.0Updated -
faust group / faust
BSD 2-Clause "Simplified" LicenseThe FAµST toolbox provides algorithms and data structures to decompose a given dense matrix into a product of sparse matrices in order to reduce its computational complexity. https://faust.inria.fr
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 -
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 -
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 -
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 -
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 Openvibe Group / extras
GNU Affero General Public License v3.0The OpenViBE extras: Acquisition Server, demos, plugin contributions
Updated -
-
-
-
-
LINE / aide / tabletop
Creative Commons Attribution 3.0 UnportedThe Tabletop activites RPi software
Updated -
ESP32 firmware providing a REST API for controlling the brachistochrone science outreach setup.
Updated -
ESP32 firmware providing a REST API for controlling the galileo science outreach setup
Updated -
ESP32 firmware providing a REST API for controlling the GPIO interface and higher functions
Updated -
-