AeroRust / spliceLinks
A DSL for Software-Defined Satellite Applications
☆24Updated 5 years ago
Alternatives and similar repositories for splice
Users that are interested in splice are comparing it to the libraries listed below
Sorting:
- NIST P-256 signatures for Cortex-M4 microcontrollers☆15Updated 4 years ago
- Bare metal Rust support for USB armory MkII devices☆60Updated 5 years ago
- Rust implementation `libsodium/utils`.☆52Updated 10 months ago
- Rust implementation of Miscreant: misuse-resistant encryption library with AES-SIV (RFC 5297) and AES-PMAC-SIV support☆46Updated 4 years ago
- Certificate transparency SCT verification library in rust☆53Updated 3 weeks ago
- Very fast cryptographic hashing for large messages.☆69Updated 9 months ago
- Performance crypto in pure Rust☆55Updated 3 weeks ago
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆120Updated 2 years ago
- Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding☆37Updated 2 years ago
- An implementation of https://github.com/google/brotli in rust avoiding the stdlib☆58Updated 7 months ago
- Perform Cargo builds inside of a sandboxed environment☆52Updated 6 years ago
- Initialization code ("crt0") written in Rust☆69Updated 4 years ago
- Just Use /dev/urandom -- now with more safety at early boot☆59Updated 5 years ago
- Deploy self-contained binaries from GCP Container Registry (gcr.io) as systemd service units☆32Updated 11 months ago
- Helpers for clearing sensitive data on the stack and heap☆54Updated 6 months ago
- Previously MesaLink, TabbySSL is an OpenSSL compatibility layer for the Rust TLS stack.☆50Updated 4 years ago
- A crate to find DWARF debug symbols from stripped binaries☆22Updated 2 years ago
- ☆25Updated 3 years ago
- Rust bindings for HACL & Evercrypt☆30Updated 7 months ago
- Byzantine-fault-tolerant time synchronization☆42Updated 4 years ago
- How to structure concurrent workflows in Rust, via five simple examples.☆32Updated 5 years ago
- Wrappers around Rust's integer to check for constant-time-compatible usage☆23Updated 5 years ago
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆59Updated 4 years ago
- RustPräzi: Representing crates.io as a call-based dependency network☆82Updated 6 years ago
- Flexible, stand-alone benchmarking☆18Updated 7 years ago
- An experimental implementation of nQUIC in Rust☆32Updated 7 years ago
- Bootstrapping Embedded Development in Rust☆56Updated 5 years ago
- Collection of universal hashing functions☆36Updated last week
- Deducing Tock execution flows from Ibex Verilator traces☆70Updated 3 years ago
- ☆23Updated 3 years ago