Explore projects
-
Implementation of the DIRECT algorithm for single criteria black box optimization.
Updated -
Hugo Martel / 680x0_debugger
Do What The F*ck You Want To Public LicenseUpdated -
archived 0Updated
-
Updated
-
Updated
-
LES ALGORITHMES SEQUENTIELS LE DETESTENT, DECOUVREZ SON SECRET POUR PARALLELISER LES ALGORITHMES DANS CE GITLAB POUR SEULEMENT 2€ PAR MOIS !!!!
Updated -
-
-
Voici une tentative de fix pour le code de base de la solution de M. Bronzino pour commencer le TP1.
Updated -
Updated
-
Updated
-
archived 0Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
-
Updated
-
-
An automated prover for bi-intuitionistic logic, based on resource graphs. (README in french)
Updated