ppopth / kelnerLinks
Safe portable simple microkernel written purely in Rust
☆9Updated 5 years ago
Alternatives and similar repositories for kelner
Users that are interested in kelner are comparing it to the libraries listed below
Sorting:
- A disassembler framework☆18Updated 2 years ago
- A VM-based runtime environment for functional programming languages☆47Updated 8 years ago
- Rust XDR interoperability library and codegen☆16Updated 2 years ago
- A tweakable block cipher☆31Updated last year
- ✨ a microkernel in Rust☆39Updated 3 years ago
- x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]☆31Updated 5 years ago
- dom-like layout for terminal applications☆13Updated 4 years ago
- Library of crypto primitives for embedded systems☆24Updated 10 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
- Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding☆36Updated last year
- A small standalone WebAssembly interpreter in Rust☆36Updated 6 years ago
- Demo: OS sandboxing for unsafe code in Rust☆13Updated 10 years ago
- Rust bindings for HACL & Evercrypt☆28Updated last month
- Constant Time Operations for Crypto Libraries☆10Updated 7 years ago
- The HexagonE VM☆26Updated 2 years ago
- The 9p protocol as a serde format and message types.☆30Updated 4 years ago
- Implementations of do255e and do255s in C and assembly☆25Updated 4 years ago
- Rust library for fast types.☆15Updated 7 years ago
- Rust implementation `libsodium/utils`.☆50Updated 4 months ago
- Certificate transparency SCT verification library in rust☆51Updated 6 months ago
- A Rust implementation of the Lamport one-time signature scheme☆15Updated 2 years ago
- A network stack in pure Rust☆56Updated 8 years ago
- A Rust implementation of the Strobe protocol framework☆27Updated 2 months ago
- An init utility purely written in Rust.☆24Updated 7 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Updated 7 years ago
- An experimental implementation of nQUIC in Rust☆31Updated 6 years ago
- Rust bindings to the KVM interface☆17Updated 5 years ago
- Process isolation for Linux using namespaces, resource limits, landlock and seccomp.☆31Updated this week
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆46Updated 4 years ago
- Safe wrappers for VFIO☆14Updated 3 years ago