Mirror. Canonical repository available at https://git.cedarcrypt.org.
☆25Aug 28, 2026Updated this week
Alternatives and similar repositories for appliedcryptography
Users that are interested in appliedcryptography are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Cryptographic protocol analysis for real-world protocols.☆119Updated this week
- A guided overview of relevant and current concepts in applied cryptography☆20Jul 13, 2026Updated last month
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆26Mar 25, 2026Updated 5 months ago
- Lattices and Their Algorithms, Leiden, Spring 2024☆25Aug 13, 2024Updated 2 years ago
- A Rust library for finite-field arithmetic, elliptic-curve operations, isogeny scaffolding, and higher-level elliptic-curve protocols.☆28Jun 19, 2026Updated 2 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.
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆18Mar 18, 2025Updated last year
- Faster, Smaller, Harder HPKE for Rust☆28Aug 23, 2026Updated last week
- ☆18May 3, 2026Updated 3 months ago
- 2PC with ideal UX and DevX. Combination of Garbled Circuits, PLONK, and KZG Witness Encryption☆17Jan 27, 2025Updated last year
- A lightweight and easy-to-use tool that allows you to detect and filter out profanity words from your text-based content. Whether you're …☆13Jun 18, 2024Updated 2 years ago
- Cryptography in SageMath.☆10Dec 17, 2018Updated 7 years ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆12Apr 30, 2026Updated 4 months ago
- ☆12May 30, 2024Updated 2 years ago
- MQT-TZ Fork of the Open Source mosquitto MQTT broker leveraging ARM TrustZone. https://mosquitto.org☆11Jul 23, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Extract structured data from the minecraft wiki☆13Aug 17, 2026Updated last week
- ☆18Jul 16, 2025Updated last year
- The set of standards that Geomys maintainers strive to uphold in our professional activity as open source maintainers☆44Oct 23, 2025Updated 10 months ago
- Online engine for reasoning about the Noise Protocol Framework.☆21Apr 7, 2026Updated 4 months ago
- Port of MIT's xv6 OS to 32 bit RISC V☆12Feb 12, 2023Updated 3 years ago
- ☆68May 13, 2025Updated last year
- BUSted!!! Microarchitectural Side-Channel Attacks on the MCU Bus Interconnect☆11Jun 26, 2026Updated 2 months ago
- ☆16Nov 16, 2025Updated 9 months ago
- Formal Verification of Telegram's MTProto 2.0☆15Jan 19, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- React library that makes it easy to build Nostr-related applications.☆18Sep 22, 2024Updated last year
- ☆11May 27, 2025Updated last year
- 📁 ○ ○ ○ dotfolders and dotfiles☆20Updated this week
- Boilerplate to quickly get started on building a Flask app with a Nuxt frontend.☆12Jul 22, 2026Updated last month
- Please submit all issues to the Alexandria repo on Nostr. It can be found on https://gitcitadel.com/r/naddr1qvzqqqrhnypzplfq3m5v3u5r0q9f2…☆15Jul 16, 2026Updated last month
- ☆28Mar 20, 2026Updated 5 months ago
- Schnorr Signature algorithm usiing BLS12-381 Curve☆13Jan 10, 2024Updated 2 years ago
- Demonstration of how we can use tessellation shaders to make faster fragment shaders.☆17Jun 20, 2016Updated 10 years ago
- ☆23Sep 26, 2022Updated 3 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.
- 🎨 A theme for the Zed text editor that utilises your wal colour scheme☆29Jul 4, 2025Updated last year
- A bridgev2 demo project for bridging Matrix and Twilio☆16Nov 16, 2025Updated 9 months ago
- Generate zero-knowledge proofs of valid RSA signatures from your browser.☆15Feb 23, 2023Updated 3 years ago
- Ether, but burnt 🔥🌪️☆27May 14, 2025Updated last year
- cross compatible GL/GLES shaders to be tweaked in realtime☆14Feb 23, 2020Updated 6 years ago
- An advanced Twitter scraping & OSINT tool written in Python that doesn't use Twitter's API, allowing you to scrape a user's followers, fo…☆13Aug 19, 2022Updated 4 years ago
- OFDM implementation for GNURadio using UHD☆12Sep 27, 2011Updated 14 years ago