glondu / beleniosView external linksLinks
Verifiable online voting system. This is a mirror of https://gitlab.com/vcast.vote/belenios
☆146Feb 4, 2026Updated last week
Alternatives and similar repositories for belenios
Users that are interested in belenios are comparing it to the libraries listed below
Sorting:
- CSS Typed functional interface in jsoo, bindings to inline styles and emotion☆12Oct 9, 2023Updated 2 years ago
- Easier bindings to Jest for ReasonML☆12Oct 17, 2024Updated last year
- Parsing gigabytes of JSON per second☆27Dec 15, 2021Updated 4 years ago
- Overlay over bigarrays of chars☆13Oct 23, 2020Updated 5 years ago
- A platform-agnostic multi-level index☆33Feb 5, 2026Updated last week
- ☆25Sep 25, 2024Updated last year
- Unit test framework compatible with js_of_ocaml☆17Jul 3, 2021Updated 4 years ago
- Some useful libraries to work with `js_of_ocaml`☆13Sep 20, 2024Updated last year
- Render boxes in the terminal with OCaml or Reason☆25Dec 4, 2025Updated 2 months ago
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆38Apr 27, 2023Updated 2 years ago
- Easy OCaml scripts (unreleased)☆20Jan 2, 2026Updated last month
- literate programming meets unison☆28Jan 13, 2026Updated last month
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Nov 29, 2020Updated 5 years ago
- ☆28Nov 21, 2021Updated 4 years ago
- The Secure Block Device Library is a software library that applies cryptographic confidentiality and integrity protection, including data…☆36Jan 16, 2018Updated 8 years ago
- Dig into an opam switch for doc☆10Apr 8, 2022Updated 3 years ago
- Go port of secret-handshake☆45Dec 11, 2024Updated last year
- A simple project template using Melange☆40Jan 21, 2024Updated 2 years ago
- OCaml bindings to Google Cloud Platform APIs☆26Jun 5, 2025Updated 8 months ago
- Experimental vendoring of Platform tools☆22Jan 6, 2023Updated 3 years ago
- OCaml bindings for the PKCS#11 cryptographic API☆23Feb 11, 2023Updated 3 years ago
- OCaml library for resizable arrays and strings☆26Nov 28, 2025Updated 2 months ago
- JWTs for OCaml☆29Oct 1, 2021Updated 4 years ago
- Internationalisation library for Web applications (server and/or client)☆13Dec 9, 2025Updated 2 months ago
- Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRE…☆14Jul 30, 2025Updated 6 months ago
- GTK and HTML viewers for mirage-profile trace files☆21Feb 8, 2023Updated 3 years ago
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Jan 24, 2026Updated 3 weeks ago
- ☆13Mar 26, 2016Updated 9 years ago
- ☆10Jan 29, 2025Updated last year
- Helper to automatically join members of a StatefulSet into a CouchDB cluster☆10Aug 14, 2019Updated 6 years ago
- Writing multicore programs with Reason☆15Dec 22, 2020Updated 5 years ago
- OCaml client access to Amazon services, such as S3, EC2, FPS, etc.☆14Sep 20, 2016Updated 9 years ago
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- Simple Tahoe LAFS storage node☆12Jul 11, 2015Updated 10 years ago
- Open-source reference Smart-contracts library for the Tezos Ecosystem, written in CamelLIGO and JSLigo☆11Aug 22, 2023Updated 2 years ago
- Compat result type☆13Feb 22, 2020Updated 5 years ago
- Contract Metadata Viewer on Tezos☆25Sep 10, 2024Updated last year
- Generate various Docker ocaml images☆31Feb 4, 2026Updated last week
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Sep 2, 2024Updated last year