Alternatives and similar repositories for PennOS-hardware-wrapper:

Users that are interested in PennOS-hardware-wrapper are comparing it to the libraries listed below

• canalcache / canal
  ☆16Updated 5 years ago
• rg0now / prog_dataplane_reading_list
  The Programmable Data Plane: Reading List
  ☆51Updated 4 years ago
• esbullington / snabbp4
  p4 language running on Snabb Switch (work-in-progress)
  ☆12Updated 9 years ago
• nyu-systems / gauntlet
  Finding bugs in P4 compilers using translation validation.
  ☆37Updated 2 weeks ago
• smartnic / superopt
  A superoptimizing compiler for packet-processing
  ☆30Updated last year
• 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…
  ☆62Updated 2 years ago
• CTSRD-CHERI / beri
  The BERI and CHERI processor and hardware platform
  ☆50Updated 8 years ago
• packet-transactions / domino-compiler
  The Domino compiler to run packet programs on pipelined switches
  ☆29Updated 3 years ago
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆40Updated 2 years ago
• NetworkVerification / nv
  A Framework for Modeling and Analyzing Network Configurations
  ☆34Updated 2 years ago
• CTSRD-CHERI / cheri-c-programming
  CHERI C/C++ Programming Guide
  ☆31Updated this week
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆70Updated 9 months ago
• aclements / sv6
  POSIX-like scalable multicore research OS kernel
  ☆189Updated 5 years ago
• CS161 / chickadee
  Chickadee OS for Harvard CS 161
  ☆95Updated 3 months ago
• bblum / landslide-simics
  the landslide codebase (old simics version)
  ☆11Updated 6 years ago
• LPD-EPFL / ssmem
  ssmem is a simple object-based memory allocator with epoch-based garbage collection
  ☆34Updated 8 years ago
• mit-pdos / ward
  ☆30Updated 3 years ago
• gz / phdplot
  Make nice plots with matplotlib.
  ☆11Updated 5 years ago
• programmable-scheduling / pifo-machine
  C++ reference implementation for Push-In First-Out Queue
  ☆13Updated 8 years ago
• UTSASRG / Guarder
  ☆13Updated 6 years ago
• grg / parser-gen
  Network packet parser generator
  ☆51Updated 4 years ago
• ZipCPU / zipversa
  A Versa Board implementation using the AutoFPGA/ZipCPU infrastructure
  ☆14Updated 5 years ago
• verified-network-toolchain / petr4
  Petr4: Formal Semantics for P4
  ☆80Updated 9 months ago
• jeremycw / tetris-verilog
  Verilog Tetris
  ☆13Updated 10 years ago
• twizzler-operating-system / twizzler-public
  Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.
  ☆65Updated 4 years ago
• jimix / k42
  K42 Kernel
  ☆27Updated 12 years ago
• vigor-nf / vigor
  Main repository of the Vigor NF verification project.
  ☆48Updated 4 years ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆51Updated 4 years ago
• vijay03 / cs360v-f20
  CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.
  ☆66Updated 4 years ago
• HexHive / memTrace
  memTrace, a framework for lightweight memory tracing
  ☆58Updated 5 years ago