Alternatives and similar repositories for proofs

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

• ioerror / torbirdy
  Torbutton for Thunderbird and related *bird forks
  ☆84Updated 5 years ago
• keybase / pgp-utils
  Various crypto utilities for dealing with MACs, Signatures, and PGP message formats.
  ☆30Updated 6 years ago
• keybase / node-client
  CLI for keybase.io written in/for Node.js
  ☆300Updated 8 years ago
• matrix-org / matrix-appservice-gitter
  Matrix <-> Gitter bridge
  ☆41Updated 4 years ago
• redecentralize / organize
  A place to organize redecentralize.org, in a decentralized way, of course. Share ideas & add proposals in 'Issues', start contributing by…
  ☆76Updated 8 years ago
• hyperboria / services
  Services on Hyperboria
  ☆30Updated 6 years ago
• autocrypt / memoryhole
  Protected E-mail Headers
  ☆73Updated 5 years ago
• keybase / saltpack-python
  A Python implementation of saltpack, mainly for testing. Only partial support for V2.
  ☆104Updated 5 years ago
• mozilla-lockwise / lockbox-datastore
  Experimental Data Storage module for Firefox Lockbox project, not being actively developed
  ☆27Updated 6 years ago
• micahflee / trollwot
  Trolling the Web of Trust
  ☆42Updated 11 years ago
• glamrock / Satori
  Distributed, tamper-resistant circumvention tools
  ☆50Updated 9 years ago
• keybase / slackbot
  Slackbot for Keybase
  ☆63Updated 4 months ago
• firstlookmedia / autocanary
  Makes generating machine-readable, digitally signed warrant canary statements simpler
  ☆147Updated 5 years ago
• keybase / libweb
  A library for building Web clients for keybase, either in the browser or for testing in node.
  ☆15Updated 2 years ago
• ooni / explorer-legacy
  [DEPRECATED] For the latest OONI Explorer see: https://github.com/ooni/explorer
  ☆33Updated 2 years ago
• mullvad / oqs-rs
  Rust bindings and key exchange for liboqs (Open Quantum Safe), a library for quantum-resistant cryptographic algorithms
  ☆36Updated 4 years ago
• brave / ledger
  Deprecated, please see
  ☆52Updated 7 years ago
• w3c / websec
  Web security drafts
  ☆32Updated 6 years ago
• keybase / node-installer
  An installer/updater for the node client.
  ☆117Updated 9 years ago
• OpenTechFund / secure-chat
  Planning for next generation secure chat.
  ☆37Updated 10 years ago
• dansup / hub
  An open graph inspired API and website for Hyperboria.
  ☆18Updated 7 years ago
• arlolra / ctypes-otr
  js-ctypes wrapper for libotr
  ☆29Updated 7 years ago
• firstlookmedia / gpgsync-firstlook-fingerprints
  Signed list of OpenPGP fingerprints for First Look employees
  ☆14Updated 4 months ago
• ModernPGP / modernpgp.github.io
  Website for Modern PGP
  ☆14Updated 7 years ago
• cloudflarearchive / challenge-bypass-specification
  WARNING: Deprecated! See Privacy Pass
  ☆98Updated 8 years ago
• namecoin / nmcontrol
  Namecoin Control. This repo is deprecated in favor of https://github.com/namecoin/ncdns
  ☆135Updated 7 years ago
• ooni / EvilGenius
  Evil Genius plays the role of the Descartes demon, creating a distorted view of the internet with censorship (it's a censorship simulator…
  ☆38Updated 10 years ago
• diracdeltas / signal-muon
  Signal Desktop using https://github.com/brave/muon instead of Chrome. Not affiliated with WhisperSystems.
  ☆122Updated 7 years ago
• EFForg / dnt-policy
  dnt-policy
  ☆46Updated last year
• ricochet-im / ricochet-go
  Experimental multiprocess Ricochet client in Go
  ☆45Updated 7 years ago