Explore projects
-
Updated
-
Catala / Verifisc-python
GNU General Public License v3.0 onlyPrototype Python d'encodage dans Z3 de diverses dispositions socio-fiscales s'appliquant aux ménages.
Updated -
GENESTIER Guillaume / Verifisc-python
GNU General Public License v3.0 onlyPrototype Python d'encodage dans Z3 de diverses dispositions socio-fiscales s'appliquant aux ménages.
Updated -
A formally verified bootloader for RIOT OS (arm version)
Updated -
monitoring / verde
OtherUpdated -
Exploring vectorized transposition in CPU for small matrices
Updated -
Setup Debian and MacOSX machines so that our backuppc instance can access them. Do not run this software if you are not related to datapol (unless you really want us to gain root access on your machine...)
Updated -
-
-
Containerized documentation of customer environments
Updated -
-
Useful formulas for circuit quantum electrodynamics.
Updated -
SCHERER Gabriel / unionFind
GNU Library General Public License v2 onlyImplementations of the union-find data structure
Updated -
POTTIER Francois / unionFind
GNU Library General Public License v2 onlyImplementations of the union-find data structure
Updated -
OMOND Antoine / Ue Devops Fila2 Cours Ansible
MIT LicenseUpdated -
Updated
-
almanach / Alexina / tuatlex
Lesser General Public License For Linguistic ResourcesUpdated -
Code Save for the paper: A Simpler Model for Recovering Superpoly on Trivium
Updated -
obelix / triskele-doc
OtherUpdated