Explore projects
-
An Ocaml implementation of the Turing Machine Constructions that have been described in many books but never implemented.
Updated -
Updated
-
legi / soft / trokata / bidiez
GNU General Public License v2.0 or laterPDU power on / off computer based on temperature
Updated -
Updated
-
Modèles statistiques et Programmation Lettrée Licence MIAGE3 2018-2019
Updated -
Modèles statistiques et Programmation Lettrée Licence MIAGE3 2018-2019
Updated -
Lecture notes + homeworks for the Scientific Methodology and Experimental Evaluation course.
Updated -
Updated
-
python-uga / py-training-intro
CeCILL Free Software License Agreement v2.1Updated -
ikats / op-tdt
Apache License 2.0Updated -
Modèles statistiques et Programmation Lettrée Licence MIAGE3 2018-2019
Updated -
Modèles statistiques et Programmation Lettrée Licence MIAGE3 2017-2018
Updated -
Updated
-
Adrien Prost-Boucle / hwopt-xilinx-7series
European Union Public License 1.2Optimized hardware components for Xilinx 7-Series FPGAs
Updated -
Updated
-
-
Drakkar-LIG / ipmt
CeCILL Free Software License Agreement v2.0Internet protocols measurement tools
Ipmt is a toolbox for network performance measurement. It allows to send and receive TCP or UDP traffic. Receivers compute and display statistics continuously.
Updated -
verimag / synchrone / rdbg
CeCILL Free Software License Agreement v2.1RDBG stands for Reactive programs DeBuGger.
Its a programmable debugger that targets reactive programs for which a rdbg-plugin exists. Currently two plugins exist : one for Lustre, and one for Lutin (nb: both are synchronous programming languages).
Updated -
verimag / synchrone / lutils
CeCILL Free Software License Agreement v2.1Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg).
Updated -
Un projet en C visant à remplacer la bibliothèque standard pour la gestion de la mémoire.
Updated