cronokirby / multiset-hash
A small crate for hashing multi sets
☆16Updated 3 years ago
Alternatives and similar repositories for multiset-hash:
Users that are interested in multiset-hash are comparing it to the libraries listed below
- Rust crate which compiles minisat and provides an interface (C/C++ compiler required)☆10Updated 3 years ago
- SFI verifier of Wasm binaries☆81Updated last year
- Frayed ribbon filter cascade☆46Updated last year
- ☆22Updated 3 months ago
- Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"☆55Updated 3 years ago
- Rush: Snabb written in Rust☆55Updated 3 years ago
- Verifying constant-time code with symbolic execution☆42Updated 3 years ago
- New register allocator designed as a successor to regalloc2☆36Updated 2 weeks ago
- ☆27Updated 4 years ago
- Efficient sampling with uniform probability☆31Updated 2 years ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- Hexadecimal float support for Rust☆38Updated 3 months ago
- ☆20Updated 3 years ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆52Updated last year
- WebAssembly Virtual Machine, which aim to run on micro-controller☆52Updated 2 years ago
- A WebAssembly test case generator☆43Updated 4 years ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆36Updated 7 months ago
- Local-affinity first NUMA-aware allocator with optional fallback.☆24Updated 3 years ago
- An implementation of strace in Rust, and a library interface☆22Updated 6 years ago
- Virtual Machine/Interpreter dispatch method experiments in Rust☆38Updated 7 years ago
- Very fast cryptographic hashing for large messages.☆70Updated last week
- Debugging WebAssembly? Put some Whamm! on it.☆19Updated this week
- super simple in-memory blocking LSM for constant-size keys and values☆69Updated last month
- Find Deadlocks in Rust with Petri-Net Model checking (Master Thesis)☆23Updated 5 years ago
- The formally verified crypto library for Rust☆110Updated this week
- Bertie TLS 1.3 Implementation☆118Updated last week
- fenwick: rust implementation of Fenwick trees (aka. binary/bit indexed trees)☆8Updated 2 years ago
- Check that a crate builds without libstd☆24Updated 4 years ago
- A rust library for reusing heap allocations☆24Updated 5 years ago
- Wrappers around Rust's integer to check for constant-time-compatible usage☆22Updated 5 years ago