GitHub repository: novom/belenios
Primary language: OCaml
Description: Verifiable online voting system. This is a mirror of https://gitlab.inria.fr/belenios/belenios