Alternatives and similar repositories for catalog:

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

• jcbhmr / awesome-webassembly-runtimes
  😎 A curated list of WebAssembly runtimes
  ☆56Updated 3 months ago
• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆64Updated 6 months ago
• wasix-org / wasix-libc
  wasix libc implementation for WebAssembly
  ☆121Updated last week
• unikraft / kraftkit
  Build and use highly customized and ultra-lightweight unikernel VMs.
  ☆277Updated this week
• antithesishq / antithesis-sdk-go
  Antithesis SDK for Go
  ☆33Updated 2 months ago
• containers / libkrunfw
  A dynamic library bundling the guest payload consumed by libkrun
  ☆85Updated 3 weeks ago
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆50Updated last year
• arjunr2 / WALI
  A low-level virtualization interface for Linux-based systems using WebAssembly
  ☆101Updated this week
• yosefk / refix
  replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds
  ☆31Updated 11 months ago
• starina-os / starina
  An experimental modern general-purpose microkernel OS.
  ☆85Updated this week
• wasix-org / wasix-witx
  WebAssembly System Interface
  ☆61Updated last week
• hermit-os / loader
  The Hermit bootloader.
  ☆74Updated this week
• uniqernel / awesome-unikernels
  Curated list of unikernel resources
  ☆46Updated 4 years ago
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆179Updated this week
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆118Updated this week
• unikraft-cloud / examples
  📚 Unikraft Cloud Examples and Sample Projects
  ☆29Updated last month
• google / rust-p9
  ☆38Updated last month
• hermit-os / hermit-rs-template
  An application template for Hermit for Rust.
  ☆31Updated 2 weeks ago
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆111Updated this week
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆35Updated 4 years ago
• dylibso / modsurfer
  Devtools to validate, audit and investigate WebAssembly binaries.
  ☆118Updated 10 months ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆47Updated 3 months ago
• nubificus / vaccel
  vAccel is a runtime library that aims to help development of applications using hardware acceleration
  ☆34Updated this week
• JGiraldo29 / vekos
  Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
  ☆190Updated this week
• nubificus / urunc
  a simple container runtime that aspires to become `runc` for unikernels
  ☆69Updated last week
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆132Updated this week
• microsoft / monza
  Research unikernel for virtualized services
  ☆48Updated 2 years ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated last year
• bootreer / vroom
  userspace nvme driver
  ☆98Updated 5 months ago
• dylibso / hermit
  Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries
  ☆209Updated 6 months ago