Explore projects
-
CertiCompil / CompCert-IntrinSec
GNU General Public License v2.0 or laterUpdated -
SecurityTools / Lazart
GNU General Public License v3.0 onlyUpdated -
-
Linux Install Party
Help to setup a machine for a Linux Install Party (pxe for various distrib, shorewall, etc.)
Updated -
Updated
-
Updated
-
Thomas Lavocat / yggdrasil-c
GNU General Public License v3.0 onlyLibrairie permettant à un programme lancé par Yggdrasil d'avoir accès aux control plane.
Updated -
-
16h-20h lecture notes on "Operating System and Parallel Computing: Concurrency; Scheduling; Memory.". (Work in progress)
Updated -
Thomas Lavocat / message_queue
GNU General Public License v3.0 onlyFile de messages utilisant ZMQ permettant de dispatcher une entrée en plusieurs sorties en faisant du round robin.
Updated -
Thomas Lavocat / toy_stencyl_app
GNU General Public License v3.0 onlySimple application de diffusion de chaleur se connectant à une file de message pour lui envoyer le résultat de ses calculs.
Updated -
Updated
-
Jerome Ferrari / EKy
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalUpdated -
Archived 0Updated
-
CertiCompil / Chamois-Arsene
GNU Lesser General Public License v2.1 onlyUpdated -
TP Allocation Mémoire dans le cadre du cours de CPS
Auteurs:
Élisa BEAUGRAND Louis DE GAUDENZIUpdated