Collection of test vectors for cryptographic operations
☆14Dec 24, 2015Updated 10 years ago
Alternatives and similar repositories for crypto-test-vectors
Users that are interested in crypto-test-vectors are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Apr 14, 2025Updated last year
- An Internet-Draft for the Balloon Key Derivation Function (BKDF), a memory-hard password hashing and password-based key derivation functi…☆11Jun 29, 2025Updated last year
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Oct 30, 2025Updated 11 months ago
- C implementation of the BlaBla20 cipher☆10Jan 1, 2026Updated 9 months ago
- This repository contains software for projects focusing on computer-aided verification of (distributed) cryptographic protocols and algor…☆12Jan 10, 2025Updated last year
- 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.
- Searches for a contiguous array of bytes determined by a wild-carded pattern☆13Feb 3, 2021Updated 5 years ago
- like ChaCha, but 64-bit instead of 32-bit thanks to BLAKE2b's permutation☆16Apr 8, 2017Updated 9 years ago
- Transformer LIbrary Docker Stacks☆14Feb 4, 2022Updated 4 years ago
- SIDH C reference implementation☆13Jan 25, 2017Updated 9 years ago
- ☆21Jul 24, 2026Updated 2 months ago
- Provides Rust interface to get current memory mappings for a given process☆16Sep 7, 2022Updated 4 years ago
- A small Rust library for reading process maps from procfs☆15Oct 8, 2026Updated last week
- DEPRECATED: A C++ Elligator2 implementation☆14Apr 17, 2020Updated 6 years ago
- Extract data from NEXRAD Doppler Radar NetCDFs☆12Jun 17, 2018Updated 8 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.
- DEciding Equivalence Properties in SECurity protocols☆22Mar 1, 2023Updated 3 years ago
- An implementation of a post quantum anonymous credential scheme☆17Dec 18, 2024Updated last year
- The PostgreSQL Extension Installer☆13Jan 12, 2016Updated 10 years ago
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆17May 6, 2022Updated 4 years ago
- System tuning recommendations for running cryptographic applications☆23Jun 13, 2016Updated 10 years ago
- Sounds for Tox clients☆10Oct 22, 2015Updated 10 years ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆21Mar 18, 2025Updated last year
- A repository of tools for verifying constant-timeness☆20Feb 4, 2026Updated 8 months ago
- A C implementation of Spritz, a spongy RC4-like stream cipher and hash function.☆28Jan 1, 2026Updated 9 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- like hidden-tear with libsodium☆21Aug 20, 2015Updated 11 years ago
- git-cvs is a tool to incrementally import changesets from CVS into a Git repository with stable commit hashes.☆16Oct 29, 2015Updated 10 years ago
- Vitamins for your Rust cryptography code☆10Updated this week
- NaCl wrapper; uses `sodium` for the server-side and `tweetnacl-js` for the client☆22Oct 27, 2023Updated 2 years ago
- Tools to use Browserify for Chrome Packaged Apps☆22Oct 31, 2012Updated 13 years ago
- My experiments in understanding AES, Whitebox AES, and related attacks☆19Oct 11, 2020Updated 6 years ago
- DES-Calculator is to encrypt and decrypt over DES algorithm and give full details in each round, DES-Calculator works only under python3☆12Aug 11, 2014Updated 12 years ago
- ☆60Oct 12, 2026Updated last week
- Sawja provides a high level representation of Java bytecode programs and static analysis tools.☆12Jul 4, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A simpler alternative to the Noise protocol framework.☆25Jan 6, 2021Updated 5 years ago
- ☆11Feb 8, 2020Updated 6 years ago
- Rust crate for managing cancellable services☆26Jul 11, 2021Updated 5 years ago
- ☆14Apr 1, 2015Updated 11 years ago
- All necessary libs to build static toxcore using Visual Studio 2015☆13Mar 2, 2018Updated 8 years ago
- AES-GEM (AES Galois Extended Mode) implementation.☆14May 19, 2026Updated 5 months ago
- Send a mail in OCaml☆17Jun 5, 2020Updated 6 years ago