Explore projects
-
Updated
-
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 -
Diamond / Jupyter / jupyterlab2apptainer
GNU General Public License v3.0 or laterUpdated -
Updated
-
Updated
-
Adrien Prost-Boucle / nnawaq
European Union Public License 1.2Neural Network Adequate hardWare Architectures for Quantization
Updated -
-
legi / soft / trokata / winsoft-main
MIT LicenseWindows Software - main files for package build - public repository
Updated -
Elan Littératures et Arts Numériques / CreNum
GNU General Public License v3.0 or laterEdition numérique de la Chronique française de Guillaume Cretin - https://crenum.elan-numerique.fr/
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 -
Updated
-
LIPhy / quanti-fret
BSD 3-Clause "New" or "Revised" LicenseUpdated