Explore projects
-
PacBot_Group / execution_pacbot
GNU Lesser General Public License v2.1 onlyABB IRB 14000 YuMi Motion Module
Updated -
PacBot_Group / decision_making_pacbot
GNU Lesser General Public License v2.1 onlyDecision Making Repo
Updated -
Jerome Ferrari / xKy
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalUpdated -
Sylvain Noiry / newlib
GNU Lesser General Public License v2.1 onlytemporary repo for riscv 128-bit newlib
Updated -
-
Jerome Ferrari / EKy
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalUpdated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
-
TAVA / BaxMC
CeCILL-B Free Software License AgreementA CEGAR-based solver for maximum model counting
Updated -
Vocadom / vocadom_catsdom
MIT LicenseThis is the repository of the final Vocadom system for real-time multisource robust spoken command understanding made during the the VOCADOM project founded by the French National Research Agency (Agence Nationale de la Recherche) / ANR-16-CE33-0006.
Updated -
Updated
-
CertiCompil / CompCert-IntrinSec
GNU General Public License v2.0 or laterUpdated -
tima / sls / projects / Monarch
MIT LicenseUpdated -
Updated
-
Geoffroy Lesur / Idefix Public
CeCILL Free Software License Agreement v2.1This repository is NOT MAINTAINED anymore. Please use the public github repository: https://github.com/idefix-code/idefix
Updated