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.
  ☆296Updated this week
• wasix-org / wasix-libc
  wasix libc implementation for WebAssembly
  ☆123Updated this week
• unikraft-cloud / examples
  📚 Unikraft Cloud Examples and Sample Projects
  ☆32Updated 2 weeks ago
• nubificus / urunc
  a simple container runtime that aspires to become `runc` for unikernels
  ☆76Updated this week
• containers / libkrunfw
  A dynamic library bundling the guest payload consumed by libkrun
  ☆87Updated last month
• wasix-org / wasix-witx
  WebAssembly System Interface
  ☆64Updated this week
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆118Updated last week
• firecracker-microvm / micro-http
  A minimal HTTP implementation used by Firecracker
  ☆78Updated 2 weeks ago
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆51Updated 2 years ago
• microsoft / monza
  Research unikernel for virtualized services
  ☆49Updated 2 years ago
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆179Updated 3 weeks ago
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆37Updated 4 years ago
• dylibso / hermit
  Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries
  ☆212Updated 8 months ago
• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆65Updated 9 months ago
• dphilla / wasm-vfs
  A Wasm-first VFS
  ☆60Updated last month
• arjunr2 / WALI
  A low-level virtualization interface for Linux-based systems using WebAssembly
  ☆114Updated last week
• checkpoint-restore / rust-criu
  Rust Bindings for CRIU
  ☆17Updated 6 months ago
• dylibso / modsurfer
  Devtools to validate, audit and investigate WebAssembly binaries.
  ☆123Updated last year
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆133Updated this week
• unikraft / pykraft
  Python library for configuring and building unikernels
  ☆178Updated 2 years ago
• b0bleet / zvisor
  Minimalistic hypervisor built on KVM, coded with Zig.
  ☆142Updated 8 months ago
• bytecodealliance / wasm-score
  A benchmark for standalone WebAssembly
  ☆32Updated 9 months ago
• antithesishq / antithesis-sdk-go
  Antithesis SDK for Go
  ☆34Updated 4 months ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated 2 years ago
• oxidecomputer / illumos-gate
  An open-source Unix operating system
  ☆30Updated this week
• nubificus / vaccel
  vAccel is a runtime library that aims to help development of applications using hardware acceleration
  ☆39Updated this week
• bytecodealliance / WASI-Virt
  Virtual implementations of WASI APIs
  ☆182Updated last week
• hermit-os / loader
  The Hermit bootloader.
  ☆75Updated this week
• edera-dev / styrolite
  Programmatic sandboxing tool
  ☆224Updated this week
• WebAssembly / wasi-cli
  Command-Line Interface (CLI) World for WASI
  ☆80Updated last month