A guided overview of relevant and current concepts in applied cryptography
☆20Jul 13, 2026Updated last week
Alternatives and similar repositories for The-Hitchhiker-s-Guide-to-Applied-Cryptography
Users that are interested in The-Hitchhiker-s-Guide-to-Applied-Cryptography are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Mirror. Canonical repository available at https://git.cedarcrypt.org.☆24Updated this week
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆18Oct 19, 2023Updated 2 years ago
- DY* with extrinsic proofs☆15Jul 2, 2026Updated 2 weeks ago
- DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code☆20Jun 19, 2024Updated 2 years ago
- Faster, Smaller, Harder HPKE for Rust☆27Jun 8, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A tool for verifying transitions in cryptographic game-hopping proofs☆24Updated this week
- Site for tldr.fail☆37Dec 29, 2025Updated 6 months ago
- High Assurance Cryptographic Software☆10Jun 1, 2026Updated last month
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆37Feb 28, 2020Updated 6 years ago
- Put Nietzsche in your fortunes.☆11Feb 17, 2015Updated 11 years ago
- SHA256 sentence: discover a SHA256 checksum that matches a sentence's description of hex digit words.☆19Apr 14, 2025Updated last year
- Designatived verifier Schnorr signatures☆13Nov 4, 2022Updated 3 years ago
- Font and HTML editor for 12 hole ocarina tabs☆14Feb 9, 2017Updated 9 years ago
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆26Mar 25, 2026Updated 3 months 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 theme for the Zed text editor that utilises your wal colour scheme☆29Jul 4, 2025Updated last year
- Client-side proving benchmarks☆21Jun 30, 2026Updated 3 weeks ago
- OOPish implementation of token_get_all☆11Jan 17, 2016Updated 10 years ago
- ☆14Dec 14, 2020Updated 5 years ago
- A script for compiling and updating FlashGBX natively on macOS☆14Mar 6, 2025Updated last year
- Simple program to enable/disable Yubikeys on Linux☆16Jun 10, 2020Updated 6 years ago
- Library of common cryptographic algorithms and functions for Pony☆12Jul 16, 2025Updated last year
- A command line version of miniLock☆21Dec 28, 2015Updated 10 years ago
- Jolt-compatible zkVM prover in pure Zig with zero dependencies, zero FFI☆30May 4, 2026Updated 2 months 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.
- A lightweight Key-Policy Attribute-Based Encryption scheme in C++☆28Jan 29, 2018Updated 8 years ago
- Data analityics and dashboards about your perfomance inside neovim?☆13May 22, 2024Updated 2 years ago
- Code and data for hardestclimbs.com☆12Sep 9, 2025Updated 10 months ago
- Dexy Themes For Plasma Desktop☆21Dec 11, 2025Updated 7 months ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆77Sep 23, 2022Updated 3 years ago
- ☆12Nov 18, 2025Updated 8 months ago
- ☆11Feb 10, 2016Updated 10 years ago
- Asynchronous I/O with generators for PHP 5.5☆22Aug 4, 2014Updated 11 years ago
- Cryptographic protocol analysis for real-world protocols.☆105Jun 16, 2026Updated last month
- 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.
- NoBlindi is a command-line tool for exploiting blind NoSQL injection vulnerabilities to recover passwords in web applications.☆29Nov 12, 2023Updated 2 years ago
- ☆11Apr 16, 2026Updated 3 months ago
- Constant time big numbers for Go☆106Feb 26, 2025Updated last year
- A UserCSS style to hide GitHub Copilot☆11Jan 15, 2025Updated last year
- Hover - Temporary home directories☆15Nov 5, 2023Updated 2 years ago
- A constant-time library for big integers modulo a prime, usable for cryptographic applications. Exported from crypto/internal/bigmod, the…☆16Jan 3, 2026Updated 6 months ago
- A PoC for batch attacks against ECC keypairs generated from short seeds.☆14Jan 20, 2025Updated last year