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
  ☆13Updated last year
• tenstorrent / tt-llk
  ☆33Updated this week
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆66Updated this week
• compiler-research / idd
  A System for Differential Debugging
  ☆22Updated 9 months ago
• 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…
  ☆40Updated this week
• neelsomani / cuq
  Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels
  ☆124Updated last month
• harmonylang / harmony
  A Python-like programming language for testing and experimenting with concurrent programs.
  ☆32Updated 3 months ago
• tenstorrent / luwen
  Tenstorrent system interface library
  ☆33Updated 3 weeks ago
• CharlyCst / miralis
  Miralis is a RISC-V firmware that virtualizes RISC-V firmware
  ☆42Updated 2 weeks ago
• pornin / cycle-counter
  ☆24Updated last year
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 3 years ago
• vtta / clean-acmart
  ☆24Updated 2 months ago
• mwillsey / cs265
  Website for CS 265
  ☆33Updated last year
• sd-visualiser / sd-visualiser
  String diagram visualiser
  ☆16Updated last week
• tchajed / futex-tutorial
  ☆17Updated last year
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆89Updated this week
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆92Updated last year
• securesystemslab / LLVM-MCA-Daemon
  ☆22Updated 10 months ago
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆169Updated last week
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 3 years ago
• losfair / Violet
  Superscalar RISC-V processor written in Clash.
  ☆35Updated 3 years ago
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆39Updated 5 years ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆31Updated last week
• lifting-bits / gap
  A utility library to bridge llvm and mlir gaps.
  ☆13Updated last year
• 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…
  ☆42Updated last week
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆48Updated last year
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆26Updated 6 months ago
• rachitnigam / runt
  A lighweight and parallel snapshot testing framework in rust
  ☆37Updated 2 years ago
• IntelLabs / asl-interpreter
  Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)
  ☆25Updated 4 months ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆18Updated last year