Alternatives and similar repositories for proofs

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

• hyperboria / services
  Services on Hyperboria
  ☆30Updated 6 years ago
• matrix-org / matrix-appservice-gitter
  Matrix <-> Gitter bridge
  ☆41Updated 4 years ago
• tosdr / tosdr-chrome
  Replaced by https://github.com/tosdr/browser-extensions
  ☆38Updated 7 years ago
• mozilla-lockwise / lockbox-datastore
  Experimental Data Storage module for Firefox Lockbox project, not being actively developed
  ☆28Updated 6 years ago
• wetube / wetube-web
  Decentralized p2p, free, uncensored media provider. Web interface part
  ☆54Updated 11 years ago
• zielmicha / fc00.org
  Hyperboria (CJDNS network) map
  ☆63Updated 5 years ago
• keybase / node-client
  CLI for keybase.io written in/for Node.js
  ☆300Updated 8 years ago
• tent / tent.io
  The website for Tent — the protocol for evented data storage and decentralized communication
  ☆791Updated 4 years ago
• autocrypt / memoryhole
  Protected E-mail Headers
  ☆73Updated 5 years ago
• ioerror / torbirdy
  Torbutton for Thunderbird and related *bird forks
  ☆84Updated 6 years ago
• oconnor663 / clinacl
  a command line tool for playing with NaCl
  ☆261Updated 5 years ago
• mxstbr / pgp.asc
  An initiative to decentralize public PGP keys.
  ☆56Updated 10 years ago
• matrix-org / olm
  An implementation of the Double Ratchet cryptographic ratchet in C++/C
  ☆68Updated 3 years ago
• nabijaczleweli / openalias.rs
  Look up and parse OpenAlias data
  ☆24Updated last year
• mullvad / oqs-rs
  Rust bindings and key exchange for liboqs (Open Quantum Safe), a library for quantum-resistant cryptographic algorithms
  ☆36Updated 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
• oftc / oftc-ircservices
  OFTC's IRC Services
  ☆36Updated 9 months ago
• hyperboria / peers
  A geographically sorted list of public peering credentials for joining Hyperboria
  ☆200Updated last year
• nmathewson / mixminion
  mixminion is the main implementation of the Type III ("Mixminion") remailer protocol.
  ☆61Updated 13 years ago
• leapcode / bitmask_client
  This repo is deprecated. Check https://0xacab.org/leap/bitmask-dev
  ☆160Updated 7 years ago
• keybase / saltpack-python
  A Python implementation of saltpack, mainly for testing. Only partial support for V2.
  ☆103Updated 5 years ago
• HelloZeroNet / ZeroMail
  End-to-end encrypted, P2P messaging site.
  ☆92Updated last year
• autocrypt / autocrypt
  Convenient End-to-End Encryption for E-Mail
  ☆201Updated 2 months 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
• brave / ledger
  Deprecated, please see
  ☆53Updated 7 years ago
• keybase / slackbot
  Slackbot for Keybase
  ☆63Updated 3 weeks ago
• DonnchaC / onionbalance
  OnionBalance provides load-balancing and redundancy for Tor hidden services
  ☆273Updated 5 years ago
• namecoin / Convergence
  Secure peer-to-peer DNS resolution and HTTPS authentication for Firefox, without certificate authorities, using the Namecoin blockchain. …
  ☆27Updated 10 years ago
• irccloud / irccloud-tools
  Tools, hacks and docs for irccloud.com
  ☆105Updated 7 months ago
• duckduckgo / firefox-zeroclickinfo
  Firefox Add-on using the DuckDuckGo Zero-click Info API
  ☆86Updated 6 years ago