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:
- Flexible, stand-alone benchmarking☆18Updated 7 years ago
- Bare metal Rust support for USB armory MkII devices☆60Updated 5 years ago
- Analyzing Travis and Azure Pipelines logs to find encountered errors☆46Updated 6 months ago
- NIST P-256 signatures for Cortex-M4 microcontrollers☆15Updated 4 years ago
- Rust implementation `libsodium/utils`.☆53Updated 11 months ago
- Ports of Tock OS to Titan chips.☆56Updated 3 years ago
- wrap errors with automatic backtrace capture and print-on-result-unwrap☆32Updated last year
- Just Use /dev/urandom -- now with more safety at early boot☆59Updated 5 years ago
- Initialization code ("crt0") written in Rust☆69Updated 4 years ago
- Proc macro attributes for Bastion runtime.☆51Updated 4 years ago
- Executes programs as sealed anonymous files on Linux☆45Updated last year
- constant-size associative container backed by a simple array☆20Updated 2 years ago
- A crate to find DWARF debug symbols from stripped binaries☆22Updated 2 years ago
- scraps of a potential language☆38Updated 4 years ago
- RustPräzi: Representing crates.io as a call-based dependency network☆82Updated 6 years ago
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆120Updated 2 years ago
- Deducing Tock execution flows from Ibex Verilator traces☆70Updated 3 years ago
- miniserde minus the dependencies☆20Updated 4 years ago
- Efficient sets of bytes for Rust☆18Updated 5 years ago
- Old home of some infra pieces☆75Updated 5 years ago
- Performance crypto in pure Rust☆56Updated last month
- Efficient sampling with uniform probability☆31Updated 3 years ago
- ASN.1 library for Rust☆48Updated last year
- Helpers for clearing sensitive data on the stack and heap☆54Updated 6 months ago
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆59Updated 4 years ago
- Perform Cargo builds inside of a sandboxed environment☆52Updated 6 years ago
- Rust implementation of Miscreant: misuse-resistant encryption library with AES-SIV (RFC 5297) and AES-PMAC-SIV support☆46Updated 4 years ago
- Using Type-Level Programming in Rust to Make Safer Hardware Abstractions☆54Updated 4 years ago
- A mutex with timeout tracing☆30Updated 4 years ago
- Example implementation of stack tokens for Rust☆33Updated 3 years ago