Pinned Repositories
Cavardage-1
cdb-front
cling
UPnP/DLNA library for Java and Android
computer-database
DLNApp
Android application to connect to DLNA servers. With full-english documentation
ensemble_stable_maximum
Maximum independent set problem solver
excilys-cockails
GraphoScan
Mini-Projet-PASD
PacMan
martin2994's Repositories
martin2994/Cavardage-1
martin2994/cdb-front
martin2994/cling
UPnP/DLNA library for Java and Android
martin2994/computer-database
martin2994/DLNApp
Android application to connect to DLNA servers. With full-english documentation
martin2994/ensemble_stable_maximum
Maximum independent set problem solver
martin2994/excilys-cockails
martin2994/GraphoScan
martin2994/Mini-Projet-PASD
martin2994/PacMan
martin2994/RoboTaf
Erlang algorithms for guiding asynchronous robots in a labyrinth
martin2994/veritaf
CTL + LTL solver for "Myths about the mutual exclusion problem" of Peterson