Alternatives and similar repositories for belenios

Users that are interested in belenios are comparing it to the libraries listed below

• andrewcmyers / civs
  Condorcet Internet Voting System
  ☆95Updated 2 months ago
• symbolicsoft / verifpal
  Cryptographic protocol analysis for real-world protocols.
  ☆53Updated 9 months ago
• polymny / polymny
  Web based tool for easy production of educational videos.
  ☆33Updated 2 years ago
• MLanguage / mlang
  Compiler for the M language, used to compute the income tax of French taxpayers
  ☆196Updated this week
• soatok / rawr-x3dh
  TypeScript Implementation of X3DH
  ☆94Updated 2 years ago
• touist / touist
  TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
  ☆64Updated last week
• LoupVaillant / elligator
  Mirror of a website on Elligator by Daniel J. Bernstein, Mike Hamburg, Anna Krasnova, and Tanja Lange
  ☆16Updated 2 months ago
• privacybydesign / irmago
  IRMA server, client, and tooling. Documentation: http://docs.yivi.app/irma-cli
  ☆75Updated this week
• olvid-io / olvid-android
  Olvid for Android
  ☆171Updated last week
• DECODEproject / decode-os
  The DECODE OS for private, distributed P2P computing
  ☆62Updated 3 years ago
• robur-coop / unipi
  Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel
  ☆64Updated 3 weeks ago
• cryspen / hacl-packages
  The Cryspen HACL Distribution
  ☆18Updated last month
• mlswg / mls-implementations
  Coordination of implementation and interop specific details
  ☆119Updated last month
• PartiPirate / congressus
  Un outil de gestion de réunion avec prise de décision s'appuyant sur un pool de votants
  ☆58Updated 2 years ago
• robur-coop / miragevpn
  An opinionated implementation of the OpenVPN protocol
  ☆79Updated 2 months ago
• mlswg / mls-architecture
  MLS architecture
  ☆71Updated 2 months ago
• mlswg / mls-protocol
  MLS protocol
  ☆236Updated 8 months ago
• squirrel-prover / squirrel-prover
  The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.
  ☆52Updated this week
• katzenpost / server
  library for implementing the server side of the mix network: mixes and providers
  ☆26Updated 2 years ago
• stef / pwdsphinx
  a reference client/server and a native backend for web-extensions for Sphinx-based password storage
  ☆22Updated last month
• katzenpost / catshadow
  katzenpost mix network encrypted messaging client library
  ☆43Updated 2 years ago
• flusio / Flus
  Collect, organise, comment on and share links from around the Web.
  ☆159Updated last week
• almet / copanier
  A minimalist collective buying software.
  ☆24Updated last year
• stef / libsphinx
  Sphinx-based Password Storage low-level library
  ☆130Updated 4 months ago
• d-plaindoux / transept
  An OCaml modular and generalised parser combinator library.
  ☆21Updated 3 years ago
• kiranandcode / ocamlot
  An Activitypub server in OCaml!
  ☆67Updated 2 years ago
• tdjsnelling / dat-keyserver
  a distributed PGP keyserver project based on the dat protocol
  ☆91Updated 3 years ago
• blindnet-io / blindsend
  End-to-end encrypted file sharing service
  ☆182Updated last year
• Armael / stone
  A simple static website generator, written in OCaml
  ☆23Updated 3 years ago
• brave-experiments / frodo-pir
  Rust source code for the FrodoPIR Private Information Retrieval scheme.
  ☆67Updated last year