Don't let *them* read your mail. Encrypt it now.
☆18Jun 13, 2018Updated 8 years ago
Alternatives and similar repositories for arcane
Users that are interested in arcane are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa☆44Jul 22, 2025Updated last year
- ☆16Mar 19, 2018Updated 8 years ago
- Post-quantum Wireguard (Theory)☆13Sep 9, 2020Updated 6 years ago
- Workshop material: Composing 3D music using SuperCollider and ambisonics☆11Oct 1, 2022Updated 4 years ago
- ☆12Apr 1, 2021Updated 5 years 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.
- ☆11Oct 21, 2024Updated last year
- Handling multiple events asynchronously in a Ratatui terminal UI using Rust☆17Jan 31, 2025Updated last year
- Linearizability Visualizer☆10Jan 24, 2015Updated 11 years ago
- Nodemailer support for Keystone☆10May 16, 2018Updated 8 years ago
- Running Minecraft servers in Kubernetes☆10Oct 22, 2023Updated 2 years ago
- Tool to visualize executions of multi-threaded systems☆13Jun 1, 2020Updated 6 years ago
- TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus☆22Dec 14, 2021Updated 4 years ago
- Wipe or locate Android device on receipt of signed SMS☆12Jun 15, 2016Updated 10 years ago
- ☆17Aug 26, 2025Updated last year
- 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.
- A list of XMPP servers available as hidden services for use with the Prosody server and mod_onions☆18Oct 2, 2019Updated 7 years ago
- Simple, Practical, Single-Server Private Information Retrieval for Keyword Queries☆17Jul 11, 2025Updated last year
- ☆11Sep 29, 2015Updated 11 years ago
- Custom open firmware for the Lenovo KU-1255 compact USB keyboard☆15Mar 5, 2023Updated 3 years ago
- ☆25Aug 5, 2026Updated 2 months ago
- Support UEFI load☆11Oct 1, 2015Updated 11 years ago
- Generate enums with matching variants, but without any of the associated data.☆18Jul 23, 2022Updated 4 years ago
- Easily query spreadsheet-like data with SQLite or PostgreSQL.☆15Apr 6, 2016Updated 10 years ago
- Persistent Chromecast dashboards with dashcast and pychromecast in a docker container.☆22Aug 6, 2017Updated 9 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.
- Password manager for USB Armory☆38Sep 1, 2015Updated 11 years ago
- ☆15Updated this week
- Proc macros that generates both a fuzz target for use with cargo fuzz, and a property test☆26Jun 27, 2026Updated 3 months ago
- A collection of useful TLA+ operators☆21Feb 15, 2018Updated 8 years ago
- Gnome-shell extension: Do not allow apps to delete their own notifications☆12Nov 7, 2017Updated 8 years ago
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆24May 24, 2020Updated 6 years ago
- online condolence book☆18Jan 4, 2016Updated 10 years ago
- A Raspberry Pi based Weather Monitor (python)☆16Nov 3, 2018Updated 7 years ago
- Converts a thin jail to a thick jail☆10Feb 19, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A tool for verifying transitions in cryptographic game-hopping proofs☆24Updated this week
- Libraries for Google Apps Scripts☆11Feb 22, 2026Updated 7 months ago
- JavaScript Public-Key-Pins (HPKP) calculator☆11Jan 2, 2016Updated 10 years ago
- TLA+ questions, answers, and experiments☆23Aug 30, 2022Updated 4 years ago
- Alsa and tinyalsa plugins for the parameter-framework☆11Mar 30, 2017Updated 9 years ago
- An implementation of the DudeCT constant-time function tester☆30Mar 23, 2026Updated 6 months ago
- Reconstructed exynos5410 firmware☆16Jan 7, 2022Updated 4 years ago