unikraft / catalog

Related projects ⓘ

Alternatives and complementary repositories for catalog

• unikraft / kraftkit
  Build and use highly customized and ultra-lightweight unikernel VMs.
  ☆240Updated this week
• dylibso / hermit
  Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries
  ☆201Updated 2 months ago
• unikraft-cloud / examples
  📚 Unikraft Cloud Examples and Sample Projects
  ☆21Updated last month
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆94Updated this week
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆47Updated last year
• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆62Updated 3 months ago
• wasix-org / wasix-witx
  WebAssembly System Interface
  ☆58Updated 5 months ago
• wasix-org / wasix-libc
  wasix libc implementation for WebAssembly
  ☆116Updated last week
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆112Updated this week
• b0bleet / zvisor
  Zig-based Hypervisor
  ☆133Updated 3 months ago
• microsoft / monza
  Research unikernel for virtualized services
  ☆48Updated last year
• google / alioth
  Experimental KVM-based type-2 hypervisor in Rust implemented from scratch.
  ☆160Updated this week
• arjunr2 / WALI
  A low-level virtualization interface for Linux-based systems using WebAssembly
  ☆88Updated 2 months ago
• bootreer / vroom
  userspace nvme driver
  ☆95Updated 2 months ago
• antithesishq / antithesis-sdk-go
  Antithesis SDK for Go
  ☆30Updated last week
• hermit-os / loader
  The Hermit bootloader.
  ☆70Updated this week
• containers / libkrunfw
  A dynamic library bundling the guest payload consumed by libkrun
  ☆81Updated 2 weeks ago
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆174Updated last month
• microsoft / igvm
  ☆91Updated 3 months ago
• r1ru / WasmOS
  A proof-of-concept microkernel that runs WebAssembly natively.
  ☆64Updated 9 months ago
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated 7 months ago
• docfate111 / penguincrab
  rust wrapper for linux kernel library
  ☆46Updated last year
• jart / pledge
  OpenBSD APIs ported to Linux userspace using SECCOMP BPF and Landlock LSM
  ☆100Updated last year
• seeker89 / unikernels
  State of the art for unikernels
  ☆210Updated 6 months ago
• jmillikin / idol
  Idol, an IDL and binary encoding for zero-copy local IPC
  ☆48Updated last month
• hckuo2 / Lupine-Linux
  Linux in Unikernel Clothing
  ☆67Updated 3 years ago
• project-machine / puzzlefs
  A next-generation container filesystem
  ☆408Updated last month
• slp / krunvm
  Create microVMs from OCI images
  ☆33Updated 5 months ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆31Updated this week
• dylibso / modsurfer
  Devtools to validate, audit and investigate WebAssembly binaries.
  ☆112Updated 7 months ago