Explore projects
-
Updated
-
Updated
-
ACG / dev / ACGtk
CeCILL Free Software License Agreement v2.0Sources of the Abstract Categorial Development toolkit.
Updated -
-
POTTIER Francois / alphaCaml
BSD 3-Clause "New" or "Revised" LicenseUpdated -
An OCaml library that helps deal with binding constructs in abstract syntax trees.
Updated -
An OCaml library that helps deal with binding constructs in abstract syntax trees.
Updated -
-
-
Updated
-
POTTIER Francois / arrays
GNU General Public License v3.0 or laterImmutable arrays and mutability-polymorphic arrays for OCaml.
Updated -
Secure implementation of the cryptographic operation involved in SAE(-PT)
Updated -
HIRSCHI Lucca / belenios
GNU Affero General Public License v3.0Verifiable online voting system http://www.belenios.org
Updated -
belenios / belenios
GNU Affero General Public License v3.0Verifiable online voting system http://www.belenios.org
Updated -
MONDON NAVAZO Clement / belenios
GNU Affero General Public License v3.0Verifiable online voting system http://www.belenios.org
Updated