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.
  ☆337Updated this week
• firecracker-microvm / micro-http
  A minimal HTTP implementation used by Firecracker
  ☆88Updated 2 weeks ago
• hermit-os / hermit-rs-template
  An application template for Hermit for Rust.
  ☆36Updated last month
• wasix-org / wasix-libc
  wasix libc implementation for WebAssembly
  ☆129Updated 2 weeks ago
• google / rust-p9
  ☆39Updated 8 months ago
• multikernel / kernelscript
  KernelScript is a modern, type-safe, domain-specific programming language for eBPF-centric kernel customization
  ☆235Updated 2 weeks ago
• containers / libkrunfw
  A dynamic library bundling the guest payload consumed by libkrun
  ☆102Updated last week
• google / alioth
  Experimental Type-2 hypervisor, written from scratch in Rust, runs on Linux and macOS.
  ☆280Updated this week
• urunc-dev / urunc
  a simple container runtime that aspires to become `runc` for unikernels
  ☆108Updated last week
• b0bleet / zvisor
  Minimalistic hypervisor built on KVM, coded with Zig.
  ☆145Updated last year
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆142Updated this week
• dylibso / modsurfer
  Devtools to validate, audit and investigate WebAssembly binaries.
  ☆128Updated last year
• dylibso / hermit
  Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries
  ☆219Updated last year
• wasix-org / wasix-witx
  WebAssembly System Interface
  ☆69Updated last month
• unikraft / pykraft
  Python library for configuring and building unikernels
  ☆178Updated 2 years ago
• arjunr2 / WALI
  A low-level virtualization interface for Linux-based systems using WebAssembly
  ☆138Updated 2 weeks ago
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆178Updated 5 months ago
• tweedegolf / nea
  Fast webserver with predictable memory usage
  ☆183Updated last year
• antithesishq / antithesis-sdk-go
  Antithesis SDK for Go
  ☆38Updated 3 weeks ago
• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆67Updated last year
• infoslack / awesome-unikernels
  A list about Unikernels
  ☆115Updated 2 years ago
• unikraft-cloud / examples
  📚 Unikraft Cloud Examples and Sample Projects
  ☆34Updated this week
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆272Updated this week
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆51Updated 2 years ago
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆125Updated 3 months ago
• aegis-aead / libaegis
  Portable C implementations of the AEGIS family of high-performance authenticated encryption algorithms.
  ☆97Updated last week
• scality / elmerfs
  ☆102Updated 3 years ago
• starina-os / starina
  An experimental modern general-purpose microkernel OS.
  ☆383Updated last month
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆97Updated 3 weeks ago
• rust-vmm / vmm-reference
  A VMM implementation based of rust-vmm components
  ☆153Updated last year