Explore projects
-
-
Botascopia / plantinator
GNU General Public License v3.0 or laterContains the code for the webinterface of botascopia
Updated -
BLANCHET Bruno / CryptoVerif
CeCILL-B Free Software License AgreementUpdated -
The Rocq Prover / The Rocq Prover
GNU Lesser General Public License v2.1 onlyMirror for CI/CD purposes only.
Updated -
Updated
-
OCAMPO Nicolás Benjamín / peace
Boost Software License 1.0Updated -
Components to build, mirror, and check container images, using Buildah and Skopeo
Updated -
-
Updated
-
SIMONIN Matthieu / python-grid5000
GNU General Public License v3.0 onlyUpdated -
smolphone / SmolPhone OS
Mozilla Public License 2.0The Smolphone OS project aims to build a low-tech platform for low-tech phones.
Updated -
CORE-MATH Mission: provide on-the-shelf open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries
Updated -
-
The Openvibe Group / sdk
GNU Affero General Public License v3.0The OpenViBE SDK (certifiable perimeter). 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 / 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 -
MICHAUD Pierre / HARCOM
MIT LicenseUpdated