Alternatives and similar repositories for lib-lwip

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

• unikraft / lib-musl
  musl: A C standard library
  ☆11Updated this week
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆33Updated this week
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 3 years ago
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆24Updated last month
• ssrg-vt / libhermitMPK
  Intra-Unikernel Isolation with Intel Memory Protection Keys
  ☆12Updated 5 years ago
• vladandrew / awesome-unikernels
  ☆11Updated 4 years ago
• CTSRD-CHERI / sail-cheri-riscv
  CHERI-RISC-V model written in Sail
  ☆59Updated last month
• riscv-admin / riscv-landscape
  🌄 RISC-V Ecosystem Landscape: a living document that developers, investors, vendors, researchers and others can use as a resource on the…
  ☆15Updated this week
• chipsalliance / rocket-chip-blocks
  RTL blocks compatible with the Rocket Chip Generator
  ☆16Updated 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
  ☆80Updated last month
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆36Updated this week
• openhwgroup / cv32e40x-dv
  CV32E40X Design-Verification environment
  ☆12Updated last year
• lizhirui / fpga-high-speed-stream-protocol
  This stream transmission protocol is used for data transmission between some fpgas.
  ☆9Updated 3 years ago
• atrosinenko / memtest86-plus-riscv
  Port of original MemTest86+ v5.1 to other architectures (RISC-V for now)
  ☆15Updated 5 years ago
• unikraft / run-app-elfloader
  Run Unikraft ELF Loader app on Linux executables
  ☆14Updated last year
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆58Updated 3 weeks ago
• mit-pdos / ward
  ☆30Updated 3 years ago
• CharlyCst / miralis
  Miralis is a RISC-V firmware that virtualizes RISC-V firmware
  ☆19Updated last week
• seL4 / camkes-vm-examples
  ☆17Updated last month
• chipsalliance / rocket-chip-fpga-shells
  Wrapper shells enabling designs generated by rocket-chip to map onto certain FPGA boards
  ☆18Updated 5 months ago
• josehu07 / summerset
  Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research
  ☆13Updated 6 months ago
• riscv / riscv-spmp
  The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…
  ☆16Updated 2 weeks ago
• uw-unsat / exoverifier
  ☆17Updated last year
• lucypa / sDDF
  seL4 Device Driver Framework
  ☆23Updated last year
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆40Updated 2 years ago
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated 8 months ago
• datenlord / wavebpf
  High-performance eBPF implementation in hardware.
  ☆27Updated 3 years ago
• uec-hanken / tee-hardware
  TEE hardware - based on the chipyard repository - hardware to accelerate TEE
  ☆23Updated 2 years ago
• lowRISC / manticore
  ☆16Updated 3 years ago
• gussmith23 / lakeroad
  FPGA synthesis tool powered by program synthesis
  ☆46Updated last week