Explore projects
-
Partout's implementation for distributed RDF processing
Updated -
This is a prototype implementation of the Tally-Hiding functionalities of the article "A toolbox for verifiable tally-hiding e-voting systems", by Véronique Cortier, Pierrick Gaudry and Quentin Yang.
Updated -
-
Updated
-
-
CIDRE Public / OATs inside / OAT s inside kernel
GNU General Public License v2.0 or laterUpdated -
pleiade / Mycroft OKD Cluster / Odh Manifests
GNU General Public License v3.0 or laterUpdated -
-
Auctus Team / Components / Modelisation / Deprecated / KCADL
CeCILL Free Software License Agreement v2.1A library for modeling kinematic chains that may have variabilities and uncertainties. Includes a set of tools for the analysis of kinematic chains, which rely on interval analysis routines for reliable computations.
Updated -
My PhD thesis, using PhD thesis template in LaTeX supporting all doctoral schools of Doctorat Bretagne Loire [https://www.doctorat-bretagneloire.fr]
Updated -
Updated
-
Updated
-
mnemosyne / neurosmart
Creative Commons Attribution 3.0 UnportedUpdated -
Updated
-
VASSEUR Valentin / isd
MIT LicenseAn implementation of Dumer's algorithm for Information Set Decoding.
Updated -
almanach / Alexina / ofrlex
Lesser General Public License For Linguistic ResourcesUpdated -
implementation and metatheory of time credits and time receipts in Iris / Coq
Updated -
Pierre-Marie Pédrot / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated