klutzy / nadeko
[INACTIVE] const-time Rust experiment
☆96Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for nadeko
- [INACTIVE] TLS 1.2 implementation in Rust☆125Updated 8 years ago
- Data structure containers with protected memory for Rust☆18Updated 9 years ago
- Cryptographic signatures for auditing unsafe code in Rust☆50Updated 9 years ago
- Rust implementation of Noise☆125Updated 7 years ago
- rust verification condition generator☆93Updated 8 years ago
- Unikernel written in rust☆33Updated 8 years ago
- No longer maintained☆38Updated 7 years ago
- ☆38Updated 9 years ago
- Implementation of Shamir's secret sharing in Rust☆36Updated 8 years ago
- A modern asynchronous HTTP server for Rust.☆61Updated 7 years ago
- Cap'n Proto code generation for Rust☆76Updated 6 years ago
- Tiny RPC framework for Rust☆33Updated 9 years ago
- Put a program in your program, so you can program while you program.☆45Updated 8 years ago
- Lint to disallow the moving of marked types in Rust☆34Updated 8 years ago
- a distributed-merge capable database for many small objects☆78Updated 4 years ago
- Constant Time Operations for Crypto Libraries☆10Updated 7 years ago
- Bignum bindings for rust backed by GMP☆16Updated 7 years ago
- Verification working group☆104Updated 5 years ago
- ☆78Updated 6 years ago
- Compile time stack traces for Rust errors (no backtrace!)☆75Updated 6 years ago
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆58Updated 3 years ago
- cargo-safety provides safety checks for Rust projects by finding all uses of unsafe code in dependencies.☆61Updated 6 years ago
- EXPERIMENTAL: Various hacks for zero-allocation stream parsing in Rust.☆58Updated 9 years ago
- Helpers for clearing sensitive data on the stack and heap☆54Updated last year
- Macaroons: bearer credentials with caveats for distributed authorization☆60Updated 7 years ago
- A reader-writer lock that can be used with a Condvar.☆29Updated 8 years ago
- And I'll look down and whisper "GNO."☆58Updated 8 years ago