Explore projects
-
Updated
-
pactole / coq-pactole
OtherUpdated -
Source for the full article "The specificities of encoding encyclopedias: towards a new standard ?" presented at ICHLL11 in June 2021.
Updated -
Emmanuel Coquery / ocaml-edt
GNU General Public License v3.0 or laterUpdated -
-
-
Updated
-
Edlira Nano / ICT4S Doctoral Symposium
LaTeX Project Public License v1.3cUpdated -
Updated
-
-
Présentation pour le thème LIRIS outils maths autour de la robustesse des prédicats en géométrie algorithmique.
Updated -
aura_autobehave / vis-pred
MIT LicenseUpdated -
DynAmic Privacy Preserving Machine LEArning framework (C++/GMP version)
Updated -
Updated