Alternatives and similar repositories for lib-lwip:

Users that are interested in lib-lwip are comparing it to the libraries listed below

• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆33Updated this week
• vladandrew / awesome-unikernels
  ☆11Updated 4 years ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 3 years ago
• seL4 / camkes-vm
  Virtual Machine built as a CAmkES component.
  ☆23Updated last month
• unikraft / lib-musl
  musl: A C standard library
  ☆11Updated this week
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated 7 months ago
• unikraft / run-app-elfloader
  Run Unikraft ELF Loader app on Linux executables
  ☆14Updated last year
• riscv / riscv-spmp
  The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…
  ☆15Updated this week
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆53Updated 3 weeks ago
• mit-pdos / ward
  ☆30Updated 3 years ago
• uw-unsat / exoverifier
  ☆17Updated last year
• lucypa / sDDF
  seL4 Device Driver Framework
  ☆23Updated last year
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆24Updated last week
• au-ts / libvmm
  An experimental virtual machine monitor for the seL4 microkernel
  ☆38Updated last week
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆115Updated 2 weeks ago
• LPD-EPFL / swarm-kv
  A fault-tolerant RDMA-based disaggregated key-value store with 1-RTT UPDATEs and GETs thanks to the SWARM replication protocol
  ☆11Updated 7 months ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆46Updated 2 weeks ago
• unikraft / eurosys21-artifacts
  Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…
  ☆27Updated 3 years ago
• jiezhoucs / must-read
  Lists of must-read papers (mainly security papers)
  ☆30Updated 7 months ago
• riscv / riscv-smmtt
  This specification will define the RISC-V privilege ISA extensions required to support Supervisor Domain isolation for multi-tenant secur…
  ☆49Updated this week
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated last year
• IntelLabs / c3-simulator
  C3-Simulator is a Simics-based functional simulator for the X86 C3 processor, including library and kernel support for pointer and data e…
  ☆18Updated last month
• verus-lang / verified-memory-allocator
  A memory allocator verified with Verus
  ☆19Updated last month
• new-tee-os / new-tee-os
  A brand new OS that runs in various kinds of TEEs and supports Linux ABI
  ☆15Updated 3 years ago
• Multi-V-VM / MVVM
  Heterogeneous Containerization of Large Language Model Apps
  ☆41Updated last month
• rems-project / sail-arm
  Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
  ☆79Updated 3 weeks ago
• seL4 / camkes-vm-examples
  ☆17Updated 3 weeks ago
• riscv-non-isa / riscv-brs
  The Boot and Runtime Services (BRS) specification provides the software requirements for system vendors and Operating System Vendors (OSV…
  ☆47Updated 2 months ago
• riscvarchive / riscv-edk2-platforms
  Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
  ☆18Updated 3 years ago
• seL4 / seL4_projects_libs
  ☆19Updated last month