GaloisInc / rustwall
Rust firewall for seL4
☆10Updated 6 years ago
Alternatives and similar repositories for rustwall:
Users that are interested in rustwall are comparing it to the libraries listed below
- Inert lets you use non-Sync values in Sync context☆16Updated 5 years ago
- An incremental port of jakogut/tinyvm to Rust☆13Updated 5 years ago
- NIST P-256 signatures for Cortex-M4 microcontrollers☆14Updated 3 years ago
- dom-like layout for terminal applications☆12Updated 4 years ago
- A deque implemented as a hybrid linked-list-of-arrays☆10Updated 9 years ago
- Low overhead, high precision measurement crate for Rust☆16Updated last month
- An immutable singly-linked list, as seen in basically every functional language☆29Updated last year
- In Rust, Expose Read+Write+Seek (or just Read+Seek) as a FUSE-backed regular file☆12Updated 6 years ago
- A disassembler framework☆18Updated 2 years ago
- Rust crate that creates anonymous shared memory file descriptors for IPC using memfd/SHM_ANON/shm_open | now on https://github.com/valpac…☆13Updated 2 years ago
- A #[no_std], allocation-free WebAssembly interpreter written in Rust☆13Updated 5 years ago
- [DEPRECATED] Non-blocking TCP or Unix connect☆14Updated 3 years ago
- Utilities to help working with the filesytem☆11Updated 4 years ago
- The 9p protocol as a serde format and message types.☆30Updated 3 years ago
- Tool to create Tock Application Bundles from ELF files.☆15Updated last month
- A simple Rust crate to cache data both in-memory and on disk☆11Updated 3 years ago
- A λ-calculus shell (because I love writing shells).☆11Updated 5 years ago
- A DSL for Software-Defined Satellite Applications☆24Updated 4 years ago
- Substring searching in rust☆12Updated 8 years ago
- The HexagonE VM☆25Updated 2 years ago
- speedy web micro-framework using sled, io_uring and SIMD☆12Updated 4 years ago
- A rust crate for creating concurrent pipelines☆9Updated 6 years ago
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 6 years ago
- A rust crate for high-performance content-signing and certificate verification.☆13Updated 8 years ago
- Library for writing tests for utilities that read text files and produce text output☆22Updated 4 years ago
- Deploy self-contained binaries from GCP Container Registry (gcr.io) as systemd service units☆32Updated 2 weeks ago
- A recursive blake2 digest (hash) of a file-system path☆11Updated last year