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
- A crate to find DWARF debug symbols from stripped binaries☆22Updated 2 years ago
- Very fast cryptographic hashing for large messages.☆69Updated 10 months ago
- ☆25Updated 3 years ago
- Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding☆37Updated 2 years ago
- Deducing Tock execution flows from Ibex Verilator traces☆70Updated 3 years ago
- Certificate transparency SCT verification library in rust☆54Updated 2 months ago
- Helpers for clearing sensitive data on the stack and heap☆53Updated 7 months ago
- Rust implementation of Miscreant: misuse-resistant encryption library with AES-SIV (RFC 5297) and AES-PMAC-SIV support☆46Updated 4 years ago
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆120Updated 3 years ago
- Initialization code ("crt0") written in Rust☆69Updated 4 years ago
- Ports of Tock OS to Titan chips.☆56Updated 3 years ago
- Rust implementation `libsodium/utils`.☆54Updated last year
- Flexible, stand-alone benchmarking☆18Updated 7 years ago
- Perform Cargo builds inside of a sandboxed environment☆52Updated 6 years ago
- ASN.1 library for Rust☆48Updated last year
- Wrappers around Rust's integer to check for constant-time-compatible usage☆23Updated 5 years ago
- scraps of a potential language☆38Updated 4 years ago
- Enarx Keep Loader☆15Updated 4 years ago
- How to structure concurrent workflows in Rust, via five simple examples.☆32Updated 5 years ago
- An experimental implementation of nQUIC in Rust☆32Updated 7 years ago
- Rust bindings for HACL & Evercrypt☆30Updated 9 months ago
- Performance crypto in pure Rust☆56Updated 2 months ago
- Previously MesaLink, TabbySSL is an OpenSSL compatibility layer for the Rust TLS stack.☆51Updated 4 years ago
- An implementation of https://github.com/google/brotli in rust avoiding the stdlib☆58Updated 9 months ago
- Byzantine-fault-tolerant time synchronization☆42Updated 4 years ago
- 25519 for Cortex-M4 microcontrollers☆66Updated 4 months ago
- Collection of techniques for (binary) string searching☆25Updated 6 years ago
- Old home of some infra pieces☆75Updated 5 years ago