Explore projects
-
Updated
-
Updated
-
Updated
-
-
Maxence Larrieu / UGA Open Research Data Monitor backend
GNU General Public License v3.0 or laterA monitor on open research data produced by Grenoble Alpes University
Updated -
Caroline Namutosi Individual fork for Time-Series Prediction project
Updated -
Jerome Ferrari / WinKy
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalUpdated -
Updated
-
Proxy-based Small inversions / Types 2025 artifact
CeCILL-B Free Software License AgreementUpdated -
CertiCompil / Chamois-Arsene
GNU Lesser General Public License v2.1 onlyUpdated -
CertiCompil / Chamois-CompCert
GNU Lesser General Public License v2.1 onlyVerimag's fork of CompCert
Updated -
Updated
-
Adrien Prost-Boucle / nnawaq
European Union Public License 1.2Neural Network Adequate hardWare Architectures for Quantization
Updated -
-
Multimodal Convolutional Neural Networks for low-latency speech inference (C++), enabling assistive voice software in research and simulated environments. Scripts to curate & pre-process data, embedding image/audio at scale for model training and evaluation
Updated