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
• 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 7 years ago
• oconnor663 / clinacl
  a command line tool for playing with NaCl
  ☆263Updated 5 years ago
• keybase / node-client
  CLI for keybase.io written in/for Node.js
  ☆300Updated 9 years ago
• mxstbr / pgp.asc
  An initiative to decentralize public PGP keys.
  ☆56Updated 10 years ago
• keybase / saltpack-python
  A Python implementation of saltpack, mainly for testing. Only partial support for V2.
  ☆104Updated 5 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
• 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
• nmathewson / mixminion
  mixminion is the main implementation of the Type III ("Mixminion") remailer protocol.
  ☆64Updated 13 years ago
• tent / tent.io
  The website for Tent — the protocol for evented data storage and decentralized communication
  ☆789Updated 5 years ago
• unlicense / unlicense.org
  The source repository for the Unlicense.org website.
  ☆59Updated last month
• kylehuff / webpg-chrome
  WebPG for Chrome provides GnuPG related Public/Private Key operations and management in Google Chrome/Chromium
  ☆93Updated 9 years ago
• namecoin / nmcontrol
  Namecoin Control. This repo is deprecated in favor of https://github.com/namecoin/ncdns
  ☆134Updated 8 years ago
• nabijaczleweli / openalias.rs
  Look up and parse OpenAlias data
  ☆25Updated last year
• arlolra / ctypes-otr
  js-ctypes wrapper for libotr
  ☆29Updated 8 years ago
• oftc / oftc-ircservices
  OFTC's IRC Services
  ☆36Updated last year
• matrix-org / olm
  An implementation of the Double Ratchet cryptographic ratchet in C++/C
  ☆69Updated 4 years ago
• ooni / explorer-legacy
  [DEPRECATED] For the latest OONI Explorer see: https://github.com/ooni/explorer
  ☆34Updated 3 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 11 years ago
• wetube / wetube-web
  Decentralized p2p, free, uncensored media provider. Web interface part
  ☆55Updated 12 years ago
• keybase / keybase-bot
  exploration with the keybase chat API
  ☆263Updated 11 months ago
• irccloud / irccloud-tools
  Tools, hacks and docs for irccloud.com
  ☆105Updated last year
• hyperboria / peers
  A geographically sorted list of public peering credentials for joining Hyperboria
  ☆203Updated last year
• Yubico / developers.yubico.com
  Source code for generating our website
  ☆56Updated 2 weeks ago
• stumpsyn / policies
  Policies for the Stumptown Syndicate
  ☆154Updated last year
• zielmicha / fc00.org
  Hyperboria (CJDNS network) map
  ☆62Updated 6 years ago
• namecoin / Convergence
  Secure peer-to-peer DNS resolution and HTTPS authentication for Firefox, without certificate authorities, using the Namecoin blockchain. …
  ☆27Updated 11 years ago