Block or report user
  • Verifiable online voting system

    OCaml 9 Updated Mar 23, 2017
  • Library for binding to C libraries using pure OCaml

    OCaml 38 Updated Jun 28, 2016
  • akiss

    Forked from akiss/akiss

    Tool for checking trace equivalence for security protocols

    OCaml 2 Updated Oct 1, 2015
  • Tools for authors of ppx rewriters

    OCaml 25 Updated Mar 28, 2015
  • Read Mozilla keyrings from command line

    OCaml 8 Updated Sep 6, 2014
  • Main public package repository for OPAM, the source package manager of OCaml.

    Shell 1 417 Updated Jan 15, 2014
  • e-hääletamise tarkvara

    Python 123 Updated Sep 29, 2013
  • Helios server

    Python 1 112 Updated Mar 20, 2013
  • Bitcoin integration/staging tree

    C++ 7,754 Updated Jul 24, 2012
  • Network accounting daemon used by crans.org

    OCaml 2 Updated Jun 10, 2012