Alternatives and similar repositories for catalog:

Users that are interested in catalog are comparing it to the libraries listed below

• unikraft / kraftkit
  Build and use highly customized and ultra-lightweight unikernel VMs.
  ☆262Updated this week
• b0bleet / zvisor
  Minimalistic hypervisor built on KVM, coded with Zig.
  ☆138Updated 5 months ago
• unikraft-cloud / examples
  📚 Unikraft Cloud Examples and Sample Projects
  ☆27Updated last week
• antithesishq / antithesis-sdk-go
  Antithesis SDK for Go
  ☆33Updated last month
• yosefk / refix
  replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds
  ☆31Updated 10 months ago
• wasix-org / wasix-libc
  wasix libc implementation for WebAssembly
  ☆119Updated last week
• unikraft / pykraft
  Python library for configuring and building unikernels
  ☆178Updated 2 years ago
• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆64Updated 5 months ago
• containers / libkrunfw
  A dynamic library bundling the guest payload consumed by libkrun
  ☆84Updated this week
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆125Updated 2 months ago
• wasix-org / wasix-witx
  WebAssembly System Interface
  ☆61Updated 2 weeks ago
• hermit-os / hermit-rs-template
  An application template for Hermit for Rust.
  ☆31Updated last week
• google / rust-p9
  ☆37Updated 2 weeks ago
• bootreer / vroom
  userspace nvme driver
  ☆95Updated 4 months ago
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆259Updated this week
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆108Updated this week
• SamGinzburg / VectorVisor
  VectorVisor is a vectorizing binary translator for GPUs, designed to make it easy to run many copies of a single-threaded WebAssembly pro…
  ☆148Updated 4 months ago
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆179Updated last month
• JGiraldo29 / vekos
  Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
  ☆150Updated this week
• jmillikin / idol
  Idol, an IDL and binary encoding for zero-copy local IPC
  ☆50Updated 3 months ago
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆50Updated last year
• project-machine / puzzlefs
  A next-generation container filesystem
  ☆411Updated 3 months ago
• dylibso / hermit
  Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries
  ☆206Updated 4 months ago
• hermit-os / loader
  The Hermit bootloader.
  ☆73Updated this week
• oxidecomputer / illumos-gate
  An open-source Unix operating system
  ☆27Updated this week
• starina-os / starina
  An experimental modern general-purpose microkernel OS.
  ☆73Updated last month
• uniqernel / awesome-unikernels
  Curated list of unikernel resources
  ☆45Updated 4 years ago
• kivikakk / daintree
  [non-functional] ARMv8-A/RISC-V kernel (with UEFI bootloader)
  ☆52Updated 6 months ago
• vmware-labs / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆156Updated 10 months ago