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
- A deque implemented as a hybrid linked-list-of-arrays☆10Updated 9 years ago
- [DEPRECATED] Non-blocking TCP or Unix connect☆14Updated 3 years ago
- dom-like layout for terminal applications☆12Updated 4 years ago
- Inert lets you use non-Sync values in Sync context☆17Updated 5 years ago
- speedy web micro-framework using sled, io_uring and SIMD☆12Updated 5 years ago
- Tool to create Tock Application Bundles from ELF files.☆15Updated 2 months ago
- A #[no_std], allocation-free WebAssembly interpreter written in Rust☆13Updated 5 years ago
- A simple Rust crate to cache data both in-memory and on disk☆11Updated 3 years ago
- Experimenting with ergonomic dyn types☆29Updated 3 years ago
- Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack☆33Updated this week
- A disassembler framework☆18Updated 2 years ago
- ☆10Updated 9 years ago
- Print bytes as losslessly as possible.☆18Updated 3 months ago
- ☆15Updated 5 years ago
- Compiler for the Lavish IDL☆18Updated 5 years ago
- Library for writing tests for utilities that read text files and produce text output☆22Updated 4 years ago
- A Red-Black tree implemented in rust....for science!☆10Updated 4 years ago
- Utilities to help working with the filesytem☆11Updated 4 years ago
- An immutable singly-linked list, as seen in basically every functional language☆29Updated last year
- File serving using tower web☆19Updated 6 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 6 years ago
- Fork of mimallocator that aims to port mimalloc over to rust.☆16Updated 5 years ago
- NIST P-256 signatures for Cortex-M4 microcontrollers☆14Updated 3 years ago
- The HexagonE VM☆25Updated 2 years ago
- Rust wrapper around Solo5 (https://github.com/solo5/solo5) unikernel base layer☆11Updated 6 years ago
- A Linux kernel module written in Rust☆35Updated 6 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 DSL for Software-Defined Satellite Applications☆24Updated 4 years ago
- A syn targetting PEG parser generator☆20Updated last year
- Rust XDR interoperability library and codegen☆16Updated 2 years ago