Air is an easy-to-use, secure messenger for chatting 1:1 and in groups.
☆42Mar 27, 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:
- Management system for our study association☆17Feb 9, 2026Updated last month
- Manage photo albums on S3 buckets☆17Sep 8, 2025Updated 6 months ago
- The secure messaging summit information☆20Oct 27, 2020Updated 5 years ago
- A public description of our private LumiGuide monorepo that can be used in talks and in mailing list discussions☆10Mar 26, 2017Updated 9 years ago
- slog: Handler for systemd journal☆20Mar 9, 2026Updated 3 weeks ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An easy way to give all your EC2 instances SSH host certificates☆16Feb 25, 2023Updated 3 years ago
- Planet Vector Tile Map Engine☆24Feb 28, 2023Updated 3 years ago
- Property based testing for Servant using Hedgehog☆19Apr 25, 2021Updated 4 years ago
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Oct 30, 2025Updated 5 months ago
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆14Oct 19, 2021Updated 4 years ago
- High Assurance Cryptographic Software☆10Dec 23, 2025Updated 3 months ago
- Materials accompanying "Implementing an Elliptic Curve in Go"☆13Jul 29, 2017Updated 8 years ago
- ♥ ♥ ♥ Trevor's & Moxie's Axolotl Ratchet + AGL's xmpp-client ♥ ♥ ♥☆12Jan 27, 2015Updated 11 years ago
- Genealogos, a Nix sbom generator☆53Dec 26, 2025Updated 3 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆13Mar 12, 2026Updated 2 weeks ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆11Nov 2, 2024Updated last year
- A pure-go implementation of the Axolotl Ratchet, extracted from pond☆21Feb 8, 2017Updated 9 years ago
- Post-quantum Wireguard (Theory)☆13Sep 9, 2020Updated 5 years ago
- Internet-Draft: The Asynchronous Remote Key Generation (ARKG) algorithm☆12Mar 9, 2026Updated 3 weeks ago
- ☆12Nov 11, 2022Updated 3 years ago
- Experimental implementation of generic record subtyping☆18May 9, 2024Updated last year
- A middleware tool to assist step-ca with posture info during an ACME device-attest-01 challenge.☆18Apr 19, 2024Updated last year
- ☆14Apr 14, 2025Updated 11 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆14May 3, 2019Updated 6 years ago
- This is a lightweight Prometheus exporter for cgroups that only supports the unified cgroup v2 hierarchy. It exposes usage metrics for ea…☆31Mar 3, 2026Updated 3 weeks ago
- Software Consulting Legal Documents☆17Sep 3, 2025Updated 6 months ago
- WIP: VSCode remote container for Nix-based environments☆13Dec 15, 2023Updated 2 years ago
- A minimal RedDSA implementation for use in Zebra and zcashd.☆14Mar 18, 2026Updated last week
- A privacy-first contact tracing solution for Android and iOS where users have full control over their data without the Google or Apple Co…☆14Jul 20, 2020Updated 5 years ago
- Deterministic And Verifiable Randomness On Schnorr signatures☆12Nov 18, 2017Updated 8 years ago
- Give Haskell development tools access to Cabal project environment.☆24Feb 14, 2021Updated 5 years ago
- Example repo for using Phoenix/Elixir inside of a Kubernetes cluster with libcluster☆20Jun 30, 2017Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A small markdown TUI note keeper☆15Feb 19, 2026Updated last month
- ja is a small CLI / TUI app that allows you to work with AI tools☆20Updated this week
- [work in progress] Python framework for supporting cryptographic game-hopping proofs☆13Oct 19, 2022Updated 3 years ago
- A BibTeX collection on Zero-Knowledge Proofs☆16Dec 4, 2018Updated 7 years ago
- Free categories, free arrows and free categories with monadic actions☆24Mar 4, 2025Updated last year
- X509 and SSH Certificate Authority☆12Apr 15, 2025Updated 11 months ago
- A BibTeX collection on Isogeny-based Cryptography☆18Jan 20, 2023Updated 3 years ago