Explore projects
-
Updated
-
Pytorch setup to use cpp and mpfr in order to emulate neuron with limited bitwidth. The goal is to interface it with flopoco for easy evaluation of a neuron design before implementing it in hardware.
Updated -
verimag / bip / compiler
CeCILL-B Free Software License AgreementBIP compiler and execution engines.
Updated -
TAVA / BaxMC
CeCILL-B Free Software License AgreementA CEGAR-based solver for maximum model counting
Updated -
Updated
-
Fichiers sources pour les projets de robotique autour de RobAIR https://github.com/fabMSTICLig/RobAIR dans le cadre des cours d'Olivier Aycard https://lig-membres.imag.fr/aycard/index.php?&slt=enseignement
Updated -
Updated
-
Updated
-
Updated
-
Sebastien Michelland / binutils-gdb
GNU Library General Public License v2 onlyUpdated -
Updated
-
-
tima / sls / projects / systemc-ct
Apache License 2.0Updated -
-
STM32 project for STM32F779I-EVAL with the library Minnow wich allow us to use WebSockets [ABORTED]
Updated -
Sebastien Michelland / gem5
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
PAGAI / PAGAI
CeCILL-B Free Software License AgreementPath Analysis for the Generation of Numeric Invariants. Project hosted at VERIMAG for the development of static analysis techniques.
Updated