Cryptographic implementation conformance testing harness for ML-KEM and ML-DSA.
☆19Jun 10, 2026Updated 4 months ago
Alternatives and similar repositories for crucible
Users that are interested in crucible are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Faster, Smaller, Harder HPKE for Rust☆30Aug 23, 2026Updated 2 months ago
- Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis☆16Apr 17, 2026Updated 6 months ago
- ☆22May 31, 2024Updated 2 years ago
- A full-featured implementation of of the LMS and HSS Hash Based Signature Schemes from draft-mcgrew-hash-sigs-07.☆56Updated this week
- GPS tracking software☆12Apr 26, 2019Updated 7 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.
- Lean cryptographic library usable for bare-metal environments☆97Oct 11, 2026Updated 2 weeks ago
- C++ implementation of SHA-256 (header-only)☆10Aug 19, 2025Updated last year
- Cramium Test SoC☆14Jul 25, 2025Updated last year
- C11 implementation of FIPS 203 initial public draft.☆21May 16, 2024Updated 2 years ago
- ACVP Proxy for accessing the NIST ACVP server for testing cryptographic implementations☆19Sep 13, 2026Updated last month
- PKCS#11 Tools☆16Oct 20, 2017Updated 9 years ago
- QEMU support for a custom board based on a Microchip ATSAMD21G18A microcontroller (MCU)☆14Jun 10, 2024Updated 2 years ago
- rust binding for lean4☆11Jul 1, 2023Updated 3 years ago
- PQC Transition Tools Index☆40Sep 14, 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.
- A Quantum Computing Library in LEAN☆26Jul 14, 2026Updated 3 months ago
- DOM Protected hardware Implementations of Ascon variants☆11Jun 13, 2017Updated 9 years ago
- The Future of Interoperable eBPF Defined 5G Core (eDC)☆21Oct 23, 2025Updated last year
- The formally verified crypto library for Rust☆268Updated this week
- Designs of first-order SCA-secure hardware implementations of AES encryption/decryptoin dedicated to Xilinx FPGAs (using BRAM)☆19Dec 24, 2020Updated 5 years ago
- AHB-Lite based SoC for IBEX/SWERV/VEXRISC/...☆13Mar 28, 2025Updated last year
- implement single step debug on arm cortex core without a gdb or Trace32☆12Apr 18, 2024Updated 2 years ago
- HCTR2 specification and test vectors☆45Feb 17, 2025Updated last year
- A safe pure-rust implementation of the NTRU post-quantum scheme.☆22May 4, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Program verification with F* course materials☆12Jul 6, 2019Updated 7 years ago
- Satobox is a privacy focused and secure bitcoin full node solution designed for embedded linux devices.☆25Mar 6, 2026Updated 7 months ago
- A minimal, certified, executable HTTP server written in Coq☆11Mar 30, 2021Updated 5 years ago
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- ☆17Aug 29, 2026Updated last month
- A fork of Cerberus C adding a Lean 4 port of the semantics☆15Updated this week
- DeepSeek V4 Flash 284B on AMD Strix Halo (gfx1151) — up to 32 tok/s decode & ~250 tok/s prefill via ROCmFPX, DSpark & ROCm 7.2☆18Aug 28, 2026Updated last month
- An OpenSSL crypto provider for rustls☆18Oct 2, 2026Updated 3 weeks ago
- ☆33Updated this week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆13Jan 23, 2022Updated 4 years ago
- A GUI for the Hawkbit Server☆21Apr 13, 2026Updated 6 months ago
- ☆11Sep 10, 2024Updated 2 years ago
- Public challenge to find optimal qLDPC codes.☆38Updated this week
- OpenSIPS IMS CSCF Community Edition Platform☆27Jul 6, 2026Updated 3 months ago
- A PBT framework☆10Jul 19, 2025Updated last year
- Zero Knowledge LANGuage in OCaml☆12Jul 15, 2024Updated 2 years ago