Like Keybase but distributed
☆54Aug 29, 2023Updated 2 years ago
Alternatives and similar repositories for openpgp-proofs
Users that are interested in openpgp-proofs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Official OpenNIC Homepage☆50Jul 31, 2024Updated 2 years ago
- Web services we run, open an issue with them here.☆18Jan 8, 2023Updated 3 years ago
- simple Rust CLI tool to derive an age private key from passphrase☆41Dec 28, 2025Updated 7 months ago
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated 7 months ago
- Tools for RDF☆14Jan 3, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A graph query language for the semantic web☆15Jul 21, 2017Updated 9 years ago
- read-only mirror of wiki.opennic.org pages☆16Updated this week
- Apache Web Server Hardening with Puppet☆16Aug 4, 2026Updated last week
- [WIP] an experimental mail client written in bash (and a bit of python)☆10Apr 12, 2020Updated 6 years ago
- Log macro for logs kv-unstable backend☆22Feb 23, 2021Updated 5 years ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆19Mar 18, 2025Updated last year
- A CLI tool for CIs and build scripts, making file system based caching easy and correct (locking, eviction, etc.)☆17Mar 20, 2026Updated 4 months ago
- Modern web-app for simple PGP encryption and decryption☆22May 7, 2018Updated 8 years ago
- GNU Hyperbole: The Everyday Hypertextual Information Manager☆14Jul 25, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A crate for compile-time duck typing and reflection of structs☆16Jan 22, 2022Updated 4 years ago
- JMAP server API for Nextcloud☆36Jun 23, 2026Updated last month
- A tool for verifying transitions in cryptographic game-hopping proofs☆24Updated this week
- Haskell bindings to libargon2 - the reference implementation of the Argon2 password-hashing function☆17Jun 24, 2024Updated 2 years ago
- A /sync proxy for encrypted Matrix appservices☆17Jun 14, 2023Updated 3 years ago
- DRAFT - A child theme for WordPress theme framework UnderStrap☆12Feb 16, 2019Updated 7 years ago
- Load dotenv files for an application without the dependency☆12Feb 1, 2016Updated 10 years ago
- Opt - AnyVal Option-like type☆10Jan 7, 2017Updated 9 years ago
- Tesiting Various Dotty Features☆16Mar 1, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- PrivateBin package for YunoHost☆11Updated this week
- Same Subkeys, Many Yubikeys...☆16Apr 10, 2021Updated 5 years ago
- A formally verified symbolic cryptography library for Lean☆17Feb 18, 2026Updated 5 months ago
- https://adventofcode.com/☆15Jan 9, 2026Updated 7 months ago
- Clean a series of links, resolving redirects and finding Wayback results if page is gone. Originally written to aid with importing from A…☆19Aug 2, 2026Updated last week
- 🦉 Agent for Flock, the privacy-preserving fleet management system☆32May 1, 2020Updated 6 years ago
- Sync todos among Telekasten, Mac Reminders and iPhone Reminders☆12Apr 27, 2023Updated 3 years ago
- Easy JSON formats for any case classes, for Scala, ScalaJS and Scala Native☆11Sep 12, 2018Updated 7 years ago
- An sbt plugin that backports parts of sbt 1's public API on top of sbt 0.13 implementation☆17Jul 20, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A synchronization primitive for lock-free reads with one concurrent writer☆21Apr 17, 2017Updated 9 years ago
- This is the Light L16 Camera App extracted from the os and repackaged with fixes.☆28Apr 29, 2026Updated 3 months ago
- A python program to interact with the AVHzY CT-2 power meter https://store.avhzy.com/index.php?route=product/product&product_id=50☆11Apr 5, 2019Updated 7 years ago
- SIM-based QR-code authentication for basic and feature phones☆14Apr 24, 2023Updated 3 years ago
- Uniform test interface to Scala test frameworks (specs, ScalaCheck, ScalaTest)☆14Oct 9, 2025Updated 10 months ago
- Per user SSHFS automount using user's SSH configuration☆18Apr 22, 2021Updated 5 years ago
- [Inactive] Script to detect what songs are playing on radio stations and submit them to last.fm accounts☆11Jan 20, 2019Updated 7 years ago