Guidelines for low-level cryptography software
☆1,206Jun 11, 2023Updated 2 years ago
Alternatives and similar repositories for cryptocoding
Users that are interested in cryptocoding are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Crypto Audit Guidelines☆135Dec 28, 2020Updated 5 years ago
- Please see https://github.com/hacspec/hax☆246Feb 12, 2024Updated 2 years ago
- A collection of common (interesting) cryptographic mistakes and learning resources.☆369Jul 2, 2025Updated 10 months ago
- A curated list of resources about post-quantum cryptography.☆461Apr 23, 2026Updated last week
- Project Wycheproof tests crypto libraries against known attacks.☆3,029Apr 21, 2026Updated last week
- 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.
- Signed/Encrypted ARchive: always-encrypted tar-like archive tool with optional signature support☆355Jan 11, 2023Updated 3 years ago
- Rust library for cryptographic research☆155Dec 27, 2024Updated last year
- ☆171Mar 15, 2021Updated 5 years ago
- Pure-Rust traits and utilities for constant-time cryptographic implementations.☆300Aug 3, 2024Updated last year
- A curated list of cryptography papers, articles, tutorials and howtos.☆2,024Oct 17, 2024Updated last year
- Experimental zero-knowledge proof compiler in Rust macros☆166Oct 23, 2023Updated 2 years ago
- ☆82Apr 18, 2020Updated 6 years ago
- Constant-Time Toolkit☆300Aug 29, 2018Updated 7 years ago
- Cryptographic Primitive Code Generation by Fiat☆821Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Deployments of fancy cryptography☆236Apr 13, 2026Updated 2 weeks ago
- Intuitive Advanced Cryptography☆436Aug 1, 2022Updated 3 years ago
- A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.☆13Dec 20, 2019Updated 6 years ago
- Cryptographic Addition Chain Generation in Go☆195Jun 30, 2024Updated last year
- Script generated finite field arithmetic for elliptic curve cryptography☆24Mar 25, 2026Updated last month
- Verifying constant-time code with symbolic execution☆48Oct 26, 2021Updated 4 years ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆1,154Updated this week
- ☆78Dec 10, 2019Updated 6 years ago
- HACL*, a formally verified cryptographic library written in F*