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☆14Updated 4 years ago
- A crate to find DWARF debug symbols from stripped binaries☆22Updated 2 years ago
- Rust implementation of the ChaCha family of stream ciphers☆8Updated 5 months ago
- scraps of a potential language☆37Updated 4 years ago
- dom-like layout for terminal applications☆13Updated 4 years ago
- A #[no_std], allocation-free WebAssembly interpreter written in Rust☆13Updated 6 years ago
- Fast, vector-based map implementation that preserves insertion order.☆15Updated 5 years ago
- Proc macro attributes for Bastion runtime.☆50Updated 3 years ago
- ☆24Updated 2 years ago
- miniserde minus the dependencies☆19Updated 3 years ago
- Print bytes as losslessly as possible.☆18Updated last week
- Hash Array Mapped Trie (HAMT) and Ctrie Implementations for Rust☆13Updated 2 years ago
- Deducing Tock execution flows from Ibex Verilator traces☆70Updated 3 years ago
- Ambient Authority☆21Updated last year
- NTP parser written in rust with nom☆19Updated 3 years ago
- Arena allocator and a handful of useful data structures☆41Updated 5 years ago
- Flexible, stand-alone benchmarking☆18Updated 7 years ago
- Rust firewall for seL4☆10Updated 7 years ago
- constant-size associative container backed by a simple array☆19Updated last year
- A library for extracting and validating links.☆22Updated 10 months ago
- Bare metal Rust support for USB armory MkII devices☆59Updated 4 years ago
- Kari, an embeddable programming language, written in and for Rust☆29Updated 2 years ago
- [Experiment] JNeT: japaric's network thingies☆28Updated 5 years ago
- An experimental implementation of nQUIC in Rust☆31Updated 6 years ago
- Byzantine-fault-tolerant time synchronization☆40Updated 4 years ago
- Full-duplex SPI transactions from the command line.☆15Updated last year
- Library for writing tests for utilities that read text files and produce text output☆22Updated 4 years ago
- [DEPRECATED] Non-blocking TCP or Unix connect☆14Updated 4 years ago
- A barebones utility for metamorphic testing in Rust☆18Updated 5 years ago
- Simple monolithic kernel written in Rust for x86-64☆24Updated 3 months ago