Alternatives and similar repositories for belenios

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

• MLanguage / mlang
  Compiler for the M language, used to compute the income tax of French taxpayers
  ☆197Updated 2 weeks ago
• Nitrokey / nethsm
  Nitrokey NetHSM system software
  ☆74Updated this week
• privacybydesign / irmago
  IRMA server, client, and tooling. Documentation: http://docs.yivi.app/irma-cli
  ☆77Updated this week
• andrewcmyers / civs
  Condorcet Internet Voting System
  ☆96Updated last month
• stef / libopaque
  c implementation of the OPAQUE protocol with bindings for python, php, ruby, lua, zig, java, erlang, golang, js and SASL. also supports a…
  ☆79Updated 2 months ago
• symbolicsoft / verifpal
  Cryptographic protocol analysis for real-world protocols.
  ☆55Updated 11 months ago
• cryspen / hacl-packages
  The Cryspen HACL Distribution
  ☆19Updated 4 months ago
• ocurrent / obuilder
  Experimental "docker build" alternative using btrfs/zfs snapshots
  ☆62Updated last month
• darrenldl / sandboxing
  Scripts, files and tools related to sandboxing
  ☆32Updated 3 years ago
• lofirepo / ocaml-p2p
  Collection of composable P2P libraries
  ☆26Updated 4 years ago
• squirrel-prover / squirrel-prover
  The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.
  ☆54Updated 2 months ago
• mlswg / mls-implementations
  Coordination of implementation and interop specific details
  ☆122Updated 4 months ago
• mlswg / mls-architecture
  MLS architecture
  ☆74Updated 5 months ago
• DECODEproject / decode-os
  The DECODE OS for private, distributed P2P computing
  ☆63Updated 3 years ago
• robur-coop / miragevpn
  An opinionated implementation of the OpenVPN protocol
  ☆79Updated 5 months ago
• robur-coop / unipi
  Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel
  ☆64Updated 2 months ago
• dyne / Zenroom
  Embedded no-code VM executing human-like language to manipulate data and process cryptographic operations.
  ☆224Updated this week
• touist / touist
  TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
  ☆66Updated last month
• mlswg / mls-protocol
  MLS protocol
  ☆240Updated 11 months ago
• mirage / ocaml-mbr
  A simple library for manipulating Master Boot Records
  ☆18Updated 5 months ago
• degregat / ppdt
  Privacy Preserving Disease Tracking
  ☆24Updated 5 years ago
• kiranandcode / ocamlot
  An Activitypub server in OCaml!
  ☆69Updated 2 years ago
• tezedge / tezedge-specification
  TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus
  ☆21Updated 3 years ago
• Frama-C / headache
  Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).
  ☆24Updated last year
• cossacklabs / hermes-core
  Security framework for building multi-user end-to-end encrypted data storage and sharing/processing with zero leakage risks from storage …
  ☆86Updated 3 years ago
• mirage / mirage-crypto
  Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
  ☆81Updated last week
• gustin / opaque
  OPAQUE protocol, a secure asymmetric password authenticated key exchange (aPAKE) that supports mutual authentication in a client-server s…
  ☆79Updated 4 years ago
• drand / timevault
  A dead man's switch for full but responsible disclosure of vulnerabilities
  ☆55Updated 10 months ago
• mirage / mrmime
  What do you mean?
  ☆45Updated 5 months ago
• ietf-wg-jose / json-web-proof
  Specification work for JSON Web Proof
  ☆98Updated 3 weeks ago