unikraft / catalog

Related projects: ⓘ

• wasix-org / wasix-libc
  wasix libc implementation for WebAssembly
  ☆111Updated 3 weeks ago
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆112Updated 2 months ago
• arjunr2 / WALI
  A low-level virtualization interface for Linux-based systems using WebAssembly
  ☆83Updated this week
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆47Updated last year
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆84Updated this week
• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆61Updated last month
• unikraft-cloud / examples
  📚 Unikraft Cloud Examples and Sample Projects
  ☆18Updated last week
• hermit-os / hermit-rs-template
  An application template for Hermit for Rust.
  ☆28Updated 2 weeks ago
• kivikakk / daintree
  [non-functional] ARMv8-A/RISC-V kernel (with UEFI bootloader)
  ☆47Updated 2 months ago
• r1ru / WasmOS
  A proof-of-concept microkernel that runs WebAssembly natively.
  ☆55Updated 7 months ago
• google / rust-p9
  ☆29Updated 5 months ago
• microsoft / igvm
  ☆86Updated 3 weeks ago
• Rust-for-Linux / nix
  Efforts for packaging the Rust for Linux project with the Nix package manager
  ☆52Updated 2 years ago
• AkihiroSuda / myaot
  Succeeded by https://github.com/yomaytk/elfconv
  ☆34Updated 10 months ago
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆78Updated this week
• pannous / wasp
  🐝 Wasp : Wasm programming language
  ☆111Updated last week
• b0bleet / zvisor
  Zig-based Hypervisor
  ☆126Updated last month
• zyedidia / lfi
  LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆38Updated this week
• kubkon / zacho
  Zig's Mach-O parser
  ☆37Updated this week
• yosefk / refix
  replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds
  ☆30Updated 6 months ago
• wasix-org / wasix-witx
  WebAssembly System Interface
  ☆56Updated 3 months ago
• mathetake / tvisor
  tvisor is a tiny 100% userspace syscall interception framework
  ☆36Updated 5 months ago
• bootreer / vroom
  userspace nvme driver
  ☆82Updated last week
• docfate111 / penguincrab
  rust wrapper for linux kernel library
  ☆46Updated last year
• hacspec / hax
  A Rust verification tool
  ☆176Updated this week
• trishume / twitterperf
  Prototyping the performance of various components of a theoretical faster Twitter
  ☆63Updated last year
• oxidecomputer / illumos-gate
  An open-source Unix operating system
  ☆28Updated this week
• WebAssembly / wasi-cli
  Command-Line Interface (CLI) World for WASI
  ☆62Updated last month
• checkpoint-restore / rust-criu
  Rust Bindings for CRIU
  ☆11Updated 10 months ago
• freedomofpress / securedrop-protocol
  Research and proof of concept to develop the next SecureDrop with end to end encryption.
  ☆47Updated 2 months ago