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
  ☆196Updated 2 weeks ago
• andrewcmyers / civs
  Condorcet Internet Voting System
  ☆96Updated 3 months ago
• privacybydesign / irmago
  IRMA server, client, and tooling. Documentation: http://docs.yivi.app/irma-cli
  ☆79Updated this week
• robur-coop / miragevpn
  An opinionated implementation of the OpenVPN protocol
  ☆79Updated last month
• dinosaure / bob
  A peer-to-peer file-transfer tool in OCaml
  ☆144Updated 5 months ago
• robur-coop / unipi
  Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel
  ☆65Updated last month
• mlswg / mls-implementations
  Coordination of implementation and interop specific details
  ☆122Updated 6 months ago
• 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…
  ☆81Updated 3 months ago
• lofirepo / ocaml-p2p
  Collection of composable P2P libraries
  ☆26Updated 4 years ago
• DECODEproject / decode-os
  The DECODE OS for private, distributed P2P computing
  ☆62Updated 3 years ago
• drand / timevault
  A dead man's switch for full but responsible disclosure of vulnerabilities
  ☆57Updated last year
• warptools / warpforge
  a build tool -- based on "hashes go in, hashes come out" and hermetic, containerized environments for every step.
  ☆45Updated last year
• mlswg / mls-architecture
  MLS architecture
  ☆74Updated 6 months ago
• ssbc / scuttlebutt-protocol-guide
  Protocol documentation for Secure Scuttlebutt
  ☆255Updated last year
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆118Updated 3 years ago
• ocurrent / obuilder
  Experimental "docker build" alternative using btrfs/zfs snapshots
  ☆62Updated 2 months ago
• dyne / Zenroom
  Embedded no-code VM executing human-like language to manipulate data and process cryptographic operations.
  ☆224Updated this week
• mlswg / mls-protocol
  MLS protocol
  ☆240Updated last year
• FreeAndFair / STAR-Vote
  STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System.
  ☆29Updated 7 years ago
• mirage / mirage-crypto
  Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
  ☆81Updated last month
• touist / touist
  TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
  ☆66Updated 2 months ago
• kiranandcode / ocamlot
  An Activitypub server in OCaml!
  ☆69Updated 2 years ago
• cryspen / hacl-packages
  The Cryspen HACL Distribution
  ☆19Updated 6 months ago
• wootfish / theseus.dht
  A distributed hash table with unusually strong security properties
  ☆64Updated 5 years ago
• fission-codes / spec
  ☆11Updated 2 years ago
• ckocaogullar / pudding-protocol
  ☆26Updated last year
• etalab / calculette-impots-m-language-parser
  Calculette de l'impôt sur le revenu parsée
  ☆14Updated 5 years ago
• digitalautonomy / wahay
  an easy-to-use, secure and decentralized conference call application (this repository is a mirror of an internal work repository)
  ☆130Updated 5 months ago
• inkandswitch / backchannel
  Local-first address book
  ☆70Updated 4 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