Explore projects

An automated prover for bi-intuitionistic logic, based on resource graphs. (README in french)

Projet d'OA du M1IF 2018-2019 : implémentation de l'algorithme du simplexe

my faust playground

TD d’APPD 2018-2019

Suite de projet2-rendu2, toujours sur le langage fouine avec l'objectif de parvenir à quelque chose de plus abouti.

LES ALGORITHMES SEQUENTIELS LE DETESTENT, DECOUVREZ SON SECRET POUR PARALLELISER LES ALGORITHMES DANS CE GITLAB POUR SEULEMENT 2€ PAR MOIS !!!!

Une implémentation de l'algo du simplex

Notes de cours de M1 - fork de celles de Fabrice

Cours de Base de Données et Data Mining.

Course notes of Russ Harmer's and Angela Bonifati's Graph-based Knowledge Representation course.