Ledger-Donjon / cargo-checkctView external linksLinks
CLI for setting up sound, assembly-level constant-time verification of (rust) cryptography libraries with binsec
☆16May 7, 2025Updated 9 months ago
Alternatives and similar repositories for cargo-checkct
Users that are interested in cargo-checkct are comparing it to the libraries listed below
Sorting:
- Certification path builder and validator library and utility to build and validate paths☆11Dec 3, 2025Updated 2 months ago
- Servo-specific APIs to access various devices☆20Jan 2, 2024Updated 2 years ago
- Implementations of do255e and do255s in C and assembly☆25May 3, 2021Updated 4 years ago
- Arithmetic over the M31 or BabyBear field in Bitcoin Script☆25Jul 24, 2024Updated last year
- [RFC9380] Hash to curves - Rust reference implementation☆28Mar 10, 2024Updated last year
- ☆33Feb 14, 2025Updated last year
- Vectorized AVX-512 256-bit arithmetic library☆34Sep 28, 2024Updated last year
- ☆46Oct 9, 2023Updated 2 years ago
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆44Feb 2, 2026Updated last week
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- An improved "hitbox patch" for 東方紅魔郷～ the Embodiment of Scarlet Devil☆13Oct 22, 2011Updated 14 years ago
- Implementation of cryptographic primitives in Go☆13Mar 13, 2023Updated 2 years ago
- Parsing library for Tor-specific data formats.☆42Sep 15, 2023Updated 2 years ago
- A Brainfuck interpreter written in Rust and compiled to WebAssembly☆10Dec 4, 2017Updated 8 years ago
- ☆11Nov 11, 2022Updated 3 years ago
- Mock gRPC server to test your outgoing gRPC requests.☆17Jan 17, 2026Updated 3 weeks ago
- My user environment managed by nix with home-manager☆11Oct 29, 2020Updated 5 years ago
- Proposal to add non-trapping float-to-int conversions to WebAssembly☆17Aug 22, 2022Updated 3 years ago
- Implementation of https://www.ietf.org/archive/id/draft-denis-aegis-aead-00.html / https://competitions.cr.yp.to/round3/aegisv11.pdf☆14Mar 25, 2025Updated 10 months ago
- Webcam virtual backgrounds with Rust, Tensorflow & RobustVideoMatting☆11Sep 26, 2023Updated 2 years ago
- ☆13Oct 9, 2024Updated last year
- Transaction fuzzer on steroids for the Ethereum Protocol☆14May 9, 2025Updated 9 months ago
- Douki-next (同期『ネクスト』) is a synchronization software for anilist and myanimelist.☆10May 28, 2021Updated 4 years ago
- ☆12Jun 29, 2022Updated 3 years ago
- An application for school☆10Dec 7, 2022Updated 3 years ago
- Userstyle to make the sidebar in issues and pull requests sticky☆14Apr 23, 2020Updated 5 years ago
- ☆10Jan 7, 2024Updated 2 years ago
- Auto seed resetter for Minecraft RSG speedruns☆10Oct 27, 2021Updated 4 years ago
- Profile how CUDA applications create and modify data in memory.☆14Mar 22, 2018Updated 7 years ago
- A prototype of my proposed name resolution algorithm for Rust.☆13Nov 24, 2015Updated 10 years ago
- Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf☆14Jan 4, 2022Updated 4 years ago
- QubesOS dom0 automation in Python☆12Aug 3, 2017Updated 8 years ago
- C/C++ preprocessor.☆14Jan 21, 2025Updated last year
- specs & benchmarks for the ZPrize 3 - High Throughput Signature Verification☆10Oct 9, 2023Updated 2 years ago
- An OpenGL loader tailored to gfx-rs's needs.☆14Feb 4, 2020Updated 6 years ago
- WebAssembly as a Fuzzing Compilation Target @ FUZZING'24☆18Jan 28, 2026Updated 2 weeks ago
- ☆13Dec 3, 2022Updated 3 years ago
- Misuse cases of Cryptography in real world software products☆12Nov 4, 2018Updated 7 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago