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 9 months ago
• CharlyCst / miralis
  Miralis is a RISC-V firmware that virtualizes RISC-V firmware
  ☆37Updated this week
• rust-vmm / vm-fdt
  ☆18Updated last year
• tamaroning / wanco
  WebAssembly AOT compiler with cross-CPU checkpoint/restore support
  ☆20Updated 3 months ago
• 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…
  ☆31Updated 2 weeks ago
• harmonylang / harmony
  A Python-like programming language for testing and experimenting with concurrent programs.
  ☆30Updated last week
• rachitnigam / runt
  A lighweight and parallel snapshot testing framework in rust
  ☆37Updated 2 years ago
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆46Updated this week
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆39Updated 5 years ago
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆57Updated this week
• tenstorrent / luwen
  Tenstorrent system interface library
  ☆31Updated this week
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆107Updated 2 months ago
• vtta / clean-acmart
  ☆19Updated 5 months ago
• minirust / specr
  ☆14Updated 2 months ago
• AnHaechan / ai-compilers-study-material
  A collection of study materials for AI compilers and systems.
  ☆38Updated this week
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆41Updated this week
• IntelLabs / asl-interpreter
  Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)
  ☆24Updated last month
• litz-lab / scarab-infra
  A set of tools that automate the execution of scarab simulations
  ☆13Updated last week
• memoryleak47 / slotted-egraphs
  ☆31Updated last month
• au-ts / sddf
  A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…
  ☆36Updated this week
• RReverser / wasmbin
  A self-generating WebAssembly parser & serializer in Rust.
  ☆21Updated 5 months ago
• 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…
  ☆90Updated last week
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆26Updated last year
• descend-lang / descend
  An attempt at safe imperative GPU programming.
  ☆55Updated last month
• geofft / gtrace
  An implementation of strace in Rust, and a library interface
  ☆22Updated 7 years ago
• compiler-research / idd
  A System for Differential Debugging
  ☆20Updated 6 months ago
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆138Updated last week
• charlottia / hdx
  HDL development environment on Nix.
  ☆26Updated 11 months ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆78Updated 3 weeks ago
• belfortlabs / hello-fpga
  Belfort FPGA acceleration for TFHE-rs; for demo use on AWS
  ☆20Updated this week