Alternatives and similar repositories for sys-lab:

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

• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆15Updated 4 months ago
• basic-toolbox-sample-code / basic-toolbox-sample-code
  Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book
  ☆25Updated 7 years ago
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆32Updated this week
• ManyThreads / mythos
  Many Threads Operating System
  ☆18Updated 2 years ago
• harmonylang / harmony
  A Python-like programming language for testing and experimenting with concurrent programs.
  ☆17Updated this week
• intel / CacheLib
  Pluggable in-process caching engine to build and scale high performance services
  ☆18Updated 7 months ago
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago
• michalpaszkowski / LLVM-Canon
  LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…
  ☆14Updated 9 months ago
• rtosholdings / riptide_cpp
  Multihreaded 64 bit c++ files for processing numba arrays
  ☆17Updated 9 months ago
• TUM-DSE / cloud-lab
  Cloud lab material
  ☆35Updated 2 years ago
• IITH-Compilers / ML-Compiler-Bridge
  Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations
  ☆17Updated last week
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 2 years ago
• alidasdan / hypergraph-partitioning-algorithms
  Multi-way hypergraph partitioning algorithms: FMS (Fiduccia-Mattheyses-Sanchis), PLM (Partitioning by Locked Moves), PFM (Partitioning by…
  ☆18Updated 4 years ago
• llvm / mlir-www
  ☆68Updated this week
• NASA-SW-VnV / AdaStress.jl
  Reinforcement learning framework to find and analyze the likeliest failures of a system under test.
  ☆13Updated 10 months ago
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated 5 months ago
• Kraks / quantum-compiler
  Quantum circuits compiler with staging and continuations
  ☆15Updated 3 months ago
• chipsalliance / rocket-chip-blocks
  RTL blocks compatible with the Rocket Chip Generator
  ☆14Updated 7 months ago
• descend-lang / descend
  An attempt at safe imperative GPU programming.
  ☆29Updated 2 months ago
• tenstorrent / luwen
  Tenstorrent system interface library
  ☆14Updated last month
• Enter-tainer / wavy
  Run wavedrom in typst
  ☆13Updated last year
• Multi-V-VM / Anonymous-Repo
  Seemlessly Migrate Process without boundary.
  ☆25Updated last month
• runtimeverification / pyk
  Python tools for the K Framework
  ☆13Updated 9 months ago
• sattlerc / hott-reading-course
  Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science …
  ☆14Updated 10 months ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated last year
• SIGPLAN / SIGPLAN.github.io
  SIGPLAN website
  ☆10Updated 3 weeks ago
• PacktPublishing / How-to-Build-an-LLVM-Backend
  How to Build an LLVM Backend, published by Packt
  ☆20Updated 4 months ago
• EricLBuehler / candle_graphs
  Graph model execution API for Candle
  ☆13Updated 2 months ago
• riscvarchive / riscv-zicond
  The ISA specification for the ZiCondOps extension.
  ☆19Updated 11 months ago
• uwplse / potpie
  Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
  ☆15Updated 6 months ago