Alternatives and similar repositories for proofs

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

• matrix-org / matrix-appservice-gitter
  Matrix <-> Gitter bridge
  ☆41Updated 4 years ago
• hyperboria / services
  Services on Hyperboria
  ☆30Updated 6 years ago
• keybase / node-client
  CLI for keybase.io written in/for Node.js
  ☆301Updated 9 years ago
• oconnor663 / clinacl
  a command line tool for playing with NaCl
  ☆262Updated 5 years ago
• ioerror / torbirdy
  Torbutton for Thunderbird and related *bird forks
  ☆84Updated 6 years ago
• mozilla-lockwise / lockbox-datastore
  Experimental Data Storage module for Firefox Lockbox project, not being actively developed
  ☆28Updated 7 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
• tosdr / tosdr-chrome
  Replaced by https://github.com/tosdr/browser-extensions
  ☆38Updated 7 years ago
• hyperboria / peers
  A geographically sorted list of public peering credentials for joining Hyperboria
  ☆203Updated last year
• namecoin / Convergence
  Secure peer-to-peer DNS resolution and HTTPS authentication for Firefox, without certificate authorities, using the Namecoin blockchain. …
  ☆27Updated 10 years ago
• zielmicha / fc00.org
  Hyperboria (CJDNS network) map
  ☆63Updated 6 years ago
• arlolra / ctypes-otr
  js-ctypes wrapper for libotr
  ☆29Updated 7 years ago
• keybase / saltpack-python
  A Python implementation of saltpack, mainly for testing. Only partial support for V2.
  ☆103Updated 5 years ago
• mxstbr / pgp.asc
  An initiative to decentralize public PGP keys.
  ☆56Updated 10 years ago
• mullvad / oqs-rs
  Rust bindings and key exchange for liboqs (Open Quantum Safe), a library for quantum-resistant cryptographic algorithms
  ☆36Updated 5 years ago
• autocrypt / memoryhole
  Protected E-mail Headers
  ☆73Updated 5 years ago
• nmathewson / mixminion
  mixminion is the main implementation of the Type III ("Mixminion") remailer protocol.
  ☆61Updated 13 years ago
• oftc / oftc-ircservices
  OFTC's IRC Services
  ☆36Updated 10 months ago
• tent / tent.io
  The website for Tent — the protocol for evented data storage and decentralized communication
  ☆791Updated 5 years ago
• matrix-org / olm
  An implementation of the Double Ratchet cryptographic ratchet in C++/C
  ☆69Updated 3 years ago
• firstlookmedia / gpgsync-firstlook-fingerprints
  Signed list of OpenPGP fingerprints for First Look employees
  ☆14Updated 8 months ago
• neocities / hshca
  A simple spec for hostname-safe HTTP content addressing
  ☆42Updated 10 years ago
• namecoin / nmcontrol
  Namecoin Control. This repo is deprecated in favor of https://github.com/namecoin/ncdns
  ☆134Updated 7 years ago
• keybase / keybase-bot
  exploration with the keybase chat API
  ☆264Updated 8 months ago
• wetube / wetube-web
  Decentralized p2p, free, uncensored media provider. Web interface part
  ☆54Updated 11 years ago
• irccloud / irccloud-tools
  Tools, hacks and docs for irccloud.com
  ☆105Updated 9 months ago
• internetarchive / dweb-gateway
  Decentralized web Gateway for Internet Archive
  ☆21Updated 5 years ago
• DonnchaC / onionbalance
  OnionBalance provides load-balancing and redundancy for Tor hidden services
  ☆273Updated 5 years ago
• leapcode / bitmask_client
  This repo is deprecated. Check https://0xacab.org/leap/bitmask-dev
  ☆161Updated 7 years ago
• brave / tracking-protection
  Tracking protection engine used in the Brave browser for list like disconnectme.
  ☆62Updated 6 years ago