Air is a free and easy-to-use secure messaging app.
☆77Aug 28, 2026Updated this week
Alternatives and similar repositories for air
Users that are interested in air are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆18Mar 18, 2025Updated last year
- ☆17Apr 1, 2025Updated last year
- a simple and opinionated development plugin.☆14Feb 19, 2026Updated 6 months ago
- The secure messaging summit information☆20Oct 27, 2020Updated 5 years ago
- Domino: Computer-Assisted Game-Hopping for Large-Scale Protocols☆17Updated this week
- 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 tool for verifying transitions in cryptographic game-hopping proofs☆24Aug 19, 2026Updated last week
- A gui tool written in Dioxus to make it easy to release a workspace of crates to crates.io☆14Feb 22, 2023Updated 3 years ago
- Rust implementation of the Messaging Layer Security (MLS) protocol☆1,020Updated this week
- show your bluesky year in review. WIP.☆11Dec 19, 2024Updated last year
- 🍃 The Leaf SDK — Entity-Component Data on top of synchronized CRDTs☆16Jun 2, 2025Updated last year
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆26Mar 25, 2026Updated 5 months ago
- An implementation of Messaging Layer Security (RFC 9420)☆249Updated this week
- Compare Nix derivations between base and PR branches using dix☆36Updated this week
- ☆44Dec 1, 2025Updated 8 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Axolotl protocol implementation for JavaScript☆35Feb 1, 2018Updated 8 years ago
- Key transparency server☆35Aug 18, 2026Updated last week
- jj tools for working with GitHub PRs from your terminal.☆45Updated this week
- Manage photo albums on S3 buckets☆17May 11, 2026Updated 3 months ago
- For your premium derivations☆22Jul 19, 2026Updated last month
- Web server to receive uploaded LaTeX and execute it in a docker container.☆17Aug 24, 2026Updated last week
- MLS/Proteus multiplexer abstraction with encrypted persistent storage in Rust☆48Updated this week
- Provides SPQR, a chunked post-quantum ratchet usable in parallel with DH ratchets for the libsignal protocol.☆70Jul 20, 2026Updated last month
- A simple command-line tool to help you calibrate your sleep schedule.☆24Jul 6, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A formally verified symbolic cryptography library for Lean☆18Feb 18, 2026Updated 6 months ago
- Protocol definition for generic messages.☆36Jul 13, 2026Updated last month
- A local-first, peer-to-peer app platform, based on Zed☆16Jul 29, 2026Updated last month
- Admin bot for Matrix.☆13Nov 2, 2020Updated 5 years ago
- ☆53Nov 22, 2024Updated last year
- Cryptographic protocol analysis for real-world protocols.☆119Updated this week
- A high-level Rust library to help write clients for the Signal Messenger.☆264Updated this week
- sandboxed Claude Code☆37Nov 21, 2025Updated 9 months ago
- the dna of the soul☆17Jun 13, 2024Updated 2 years 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 TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated 7 months ago
- This patch will make dwm run "~/.dwm/autostart_blocking.sh" and "~/.dwm/autostart.sh &" before entering the handler loop.☆11Oct 2, 2012Updated 13 years ago
- zero-knowledge file sharing☆34Jul 1, 2026Updated last month
- Real-time distributed storage for files and key value databases built on top of Hypercore Protocol☆10Jan 7, 2022Updated 4 years ago
- ☆15May 27, 2026Updated 3 months ago
- An outline and resources for the "Agentic Fediverse".☆22Feb 15, 2025Updated last year
- A Godot plugin and example project to load assets from the Hypercore Protocol☆30Jan 13, 2022Updated 4 years ago