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
- ☆25Updated 3 years ago
- Bare metal Rust support for USB armory MkII devices☆60Updated 5 years ago
- Rust bindings for HACL & Evercrypt☆30Updated 8 months ago
- Flexible, stand-alone benchmarking☆18Updated 7 years ago
- Initialization code ("crt0") written in Rust☆69Updated 4 years ago
- Very fast cryptographic hashing for large messages.☆69Updated 9 months ago
- Wrappers around Rust's integer to check for constant-time-compatible usage☆23Updated 5 years ago
- Example implementation of stack tokens for Rust☆33Updated 3 years ago
- ☆23Updated 3 years ago
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆120Updated 2 years ago
- Helpers for clearing sensitive data on the stack and heap☆54Updated 6 months ago
- RustPräzi: Representing crates.io as a call-based dependency network☆82Updated 6 years ago
- Just Use /dev/urandom -- now with more safety at early boot☆59Updated 5 years ago
- Certificate transparency SCT verification library in rust☆54Updated last month
- Ports of Tock OS to Titan chips.☆56Updated 3 years ago
- Rust implementation `libsodium/utils`.☆53Updated 11 months ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆56Updated 2 years ago
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆59Updated 4 years ago
- A crate to find DWARF debug symbols from stripped binaries☆22Updated 2 years ago
- Previously MesaLink, TabbySSL is an OpenSSL compatibility layer for the Rust TLS stack.☆50Updated 4 years 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
- 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
- Perform Cargo builds inside of a sandboxed environment☆52Updated 6 years ago
- constant-size associative container backed by a simple array☆20Updated 2 years ago
- ☆106Updated 5 years ago
- Performance crypto in pure Rust☆56Updated last month
- Efficient sampling with uniform probability☆31Updated 3 years ago