Alternatives and similar repositories for sys-lab

Users that are interested in sys-lab are comparing it to the libraries listed below

• CrossGL / crossvl
  Tool for loading and testing native shaders translated from crosstl
  ☆12Updated 10 months ago
• tenstorrent / luwen
  Tenstorrent system interface library
  ☆32Updated this week
• rex-rs / rex
  Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…
  ☆92Updated last month
• tenstorrent / tt-llk
  ☆26Updated this week
• aaupov / ebpf-bolt
  eBPF tool to collect BOLT profile
  ☆13Updated 4 months ago
• sd-visualiser / sd-visualiser
  String diagram visualiser
  ☆15Updated this week
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆54Updated this week
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆17Updated 3 years ago
• fintelia / riscv-decode
  Simple library for decoding RISC-V instructions
  ☆24Updated 2 months ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆26Updated last year
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆144Updated this week
• AnHaechan / ai-compilers-study-material
  A collection of study materials for AI compilers and systems.
  ☆46Updated last week
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆109Updated 2 months ago
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆39Updated 5 years ago
• felipec / good-taste
  An illustration of good taste in code
  ☆13Updated last year
• losfair / Violet
  Superscalar RISC-V processor written in Clash.
  ☆34Updated 3 years ago
• riscv / riscv-j-extension
  Working Draft of the RISC-V J Extension Specification
  ☆191Updated 2 weeks ago
• chipsalliance / rocket-chip-blocks
  RTL blocks compatible with the Rocket Chip Generator
  ☆16Updated 7 months ago
• synogate / gatery
  Gatery, a library for circuit design.
  ☆21Updated 10 months ago
• CharlyCst / miralis
  Miralis is a RISC-V firmware that virtualizes RISC-V firmware
  ☆38Updated last week
• riscv-non-isa / riscv-semihosting
  ☆32Updated this week
• compiler-explorer / misc-builder
  ☆15Updated last month
• Enter-tainer / wavy
  Run wavedrom in typst
  ☆17Updated 6 months ago
• unikraft / lib-musl
  musl: A C standard library
  ☆13Updated last month
• spade-lang / spade
  A Hardware Description Language that doesn't make you want to pull your hair out | read-only mirror of https://gitlab.com/spade-lang/spad…
  ☆32Updated last week
• CIS1900 / 2022-fall
  ☆12Updated last year
• mwillsey / cs265
  Website for CS 265
  ☆30Updated 10 months ago
• vegaluisjose / vast
  Verilog AST
  ☆21Updated last year
• rust-vmm / vhost-device
  'vhost-user' device backends workspace
  ☆102Updated last week
• lucypa / sDDF
  seL4 Device Driver Framework
  ☆21Updated last year