fizyk20 / rust-gmp
gmp bindings for rust
☆41Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for rust-gmp
- A pure Rust implementation of BLAKE2 based on RFC 7693.☆63Updated 2 years ago
- Helpers for clearing sensitive data on the stack and heap☆54Updated last year
- Benchmarks for crypto libraries (in Rust, or with Rust bindings)☆70Updated 4 years ago
- A Rust compiler plugin and support library to annotate overflow behavior☆105Updated last year
- [INACTIVE] const-time Rust experiment☆96Updated 9 years ago
- A fuzzing tool for incremental compilation that walks git history☆33Updated 6 years ago
- Two macros for taking array references in rust.☆79Updated last month
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆58Updated 3 years ago
- An intrusive splay tree implementation that is no-std compatible and free from allocation and moves☆67Updated 2 years ago
- Verification working group☆104Updated 5 years ago
- Old home of some infra pieces☆74Updated 3 years ago
- Arbitrary precision integers library.☆26Updated 3 years ago
- Experimental collection traits for Rust☆28Updated 7 years ago
- rust histogram and percentile stats☆46Updated 4 years ago
- Implementation of libm in rust☆34Updated 7 years ago
- A work-stealing fork-join threadpool written in Rust.☆85Updated 7 years ago
- A Rust library for accessing Linux process and system information☆91Updated last year
- Parallel HashMap and HashSet for Rust☆56Updated 5 years ago
- Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.☆101Updated 5 years ago
- Useable macro identifier concatenation plugin for Rust (deprecated)☆42Updated 5 years ago
- rust verification condition generator☆93Updated 8 years ago
- ☆28Updated 3 years ago
- A tiny library to efficiently search strings for sets of ASCII characters and byte slices for sets of bytes.☆113Updated 2 months ago
- ENE is an end-to-end encryption tool designed for mail.☆14Updated 6 years ago
- ☆58Updated 2 months ago
- (More or less) accurate floating point algorithms☆55Updated 3 months ago
- A simple library to send ntp requests and receive responses☆28Updated 3 years ago