rust-corpus / rustqlLinks
Tool for semantic querying of Rust code.
☆13Updated 6 years ago
Alternatives and similar repositories for rustql
Users that are interested in rustql are comparing it to the libraries listed below
Sorting:
- Distributed build system providing cryptographic proofs-of-reproducibility via Byzantine Fault Tolerant (BFT) consensus☆92Updated 5 years ago
- Pure Rust implementation of the Double Ratchet algorithm☆72Updated 4 years ago
- Check your crate for (possible) no_std compatibility☆215Updated 2 years ago
- high-performance implementations of BLAKE2b/s/bp/sp in pure Rust with dynamic SIMD☆137Updated 3 weeks ago
- Rust implementation of Miscreant: misuse-resistant encryption library with AES-SIV (RFC 5297) and AES-PMAC-SIV support☆46Updated 4 years ago
- Reverse engineering framework.☆36Updated 3 years ago
- Verification working group☆104Updated 7 years ago
- Coordination repository for the Secure Code Working Group☆162Updated 4 years ago
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆120Updated 3 years ago
- An optimized sparse merkle tree.☆49Updated 4 years ago
- Bare metal Rust support for USB armory MkII devices☆60Updated 5 years ago
- Helpers for clearing sensitive data on the stack and heap☆53Updated 7 months ago
- Performance crypto in pure Rust☆56Updated 2 months ago
- ☆25Updated 3 years ago
- agora-glass_pumpkin☆22Updated 3 months ago
- SAW front end for the MIR language from rustc☆36Updated 5 years ago
- RustPräzi: Representing crates.io as a call-based dependency network☆82Updated 7 years ago
- Implementation of a BLS DKG mechanism, requires signing key, encryption key and SocketAddr of participants☆21Updated 3 years ago
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆59Updated 4 years ago
- LibP2P networking library written in Rust☆12Updated 4 years ago
- 3rd party BOLOS SDK for Rust☆23Updated 7 years ago
- Rust implementation of Noise☆71Updated 2 years ago
- Constant-Time WebAssembly☆24Updated 7 years ago
- Chalharu's Fastest Fourier Transform crate for Rust.☆27Updated last week
- Merkle tree in Rust☆134Updated last year
- model testing sugar for testing interactions on structures over time☆27Updated 6 years ago
- Rust implementation `libsodium/utils`.☆54Updated last year
- Pure Rust client for YubiHSM2 devices☆70Updated 5 years ago
- ☆23Updated 3 years ago
- ☆35Updated 5 years ago