Explore projects
-
Updated
-
Emmanuel Roubin / docker
Do What The F*ck You Want To Public LicenseProvides some services based on a customized base image
Updated -
Updated
-
Yangtao Wang / TokenCut
MIT LicenseUpdated -
Updated
-
Updated
-
Julien Labbé / LaTeX packages
LaTeX Project Public License v1.3cLaTeX packages and other utilities.
Updated -
Updated
-
TAVA / BaxMC
CeCILL-B Free Software License AgreementA CEGAR-based solver for maximum model counting
Updated -
-
Updated
-
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 -
Yliès Falcone / DecentMon
GNU General Public License v2.0 or laterDecentMon: an OCaml Benchmark for Decentralised Monitoring of LTL Formulae
Updated -
Sebastien Michelland / qemu
GNU Lesser General Public License v2.1 onlyUpdated -
Updated
-
-
Application des méthodes d'analyse de sensibilité à un simulateur d'écosystème marin dépendant de 85 paramètres.
UpdatedUpdated