Alternatives and similar repositories for lib-lwip

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

• vladandrew / awesome-unikernels
  ☆11Updated 4 years ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆17Updated 3 years ago
• smartnic / superopt
  A superoptimizing compiler for packet-processing
  ☆30Updated 2 years ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆42Updated last week
• rgushchin / atc
  ☆16Updated 3 years ago
• mit-pdos / ward
  ☆30Updated 3 years ago
• parttimenerd / concurrency-fuzz-scheduler
  Custom Linux scheduler for concurrency fuzzing written in Java with hello-ebpf
  ☆30Updated 9 months ago
• project-flexos / unikraft
  FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.
  ☆23Updated 2 years ago
• keystone-enclave / keystone-runtime
  Eyrie enclave runtime kernel
  ☆37Updated 2 years ago
• dslab-epfl / tinynf
  Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…
  ☆64Updated 2 years ago
• unikraft / eurosys21-artifacts
  Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…
  ☆28Updated 4 years ago
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆34Updated 3 years ago
• eunomia-bpf / schedcp
  MCP Server for Linux Scheduler Management and Auto optimization
  ☆64Updated last week
• vmware-labs / verified-betrfs
  A verified high-performance file system
  ☆38Updated 4 months ago
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆13Updated 4 months ago
• lsds / intravisor
  Virtualisation platform using CHERI for isolation and sharing
  ☆40Updated last year
• new-tee-os / new-tee-os
  A brand new OS that runs in various kinds of TEEs and supports Linux ABI
  ☆15Updated 4 years ago
• P4xos / P4xos
  ☆11Updated 8 years ago
• wangrunji0408 / rjrouter
  [AFK] Hardware router in Chisel (THU Network Joint Lab 2020)
  ☆14Updated 5 years ago
• rs3lab / KFlex
  ☆35Updated 8 months ago
• vmexit / trio-sosp23-ae
  ☆20Updated 2 months ago
• gfx / hello-bpf-core
  An example app for BPF CO-RE and CI settings with GitHub Actions
  ☆14Updated 3 years ago
• tgangwani / RegAlloc
  Chaitin-Briggs register-allocation algorithm (LLVM back-end)
  ☆11Updated 9 years ago
• unikraft / lib-musl
  musl: A C standard library
  ☆15Updated 2 months ago
• xrp-project / BPF-KV
  ☆27Updated 2 years ago
• bpfverif / agni
  ☆46Updated this week
• rs3lab / SynCord
  https://rs3lab.github.io/SynCord/
  ☆26Updated 3 years ago
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆125Updated 5 months ago
• lucypa / sDDF
  seL4 Device Driver Framework
  ☆22Updated last year
• gwsystems / composite
  A component-based OS
  ☆193Updated 9 months ago