Alternatives and similar repositories for lecture1:

Users that are interested in lecture1 are comparing it to the libraries listed below

• STAR-Research / 18-847C-S22
  Official page for 18-847C (Spring '22): Data Center Computing
  ☆17Updated 2 years ago
• IITH-Compilers / ML-Compiler-Bridge
  Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations
  ☆17Updated 3 weeks 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
• mwillsey / cs265
  Website for CS 265
  ☆28Updated 3 months ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 2 years ago
• j2kun / mlir-resources
  A list of articles outside of the official MLIR docs that I've found useful for learning MLIR
  ☆11Updated last year
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆29Updated 11 years ago
• uwplse / rake
  compiling DSLs to high-level hardware instructions
  ☆22Updated 2 years ago
• pmem / book
  Persistent Memory Programming book examples
  ☆39Updated 4 months ago
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆31Updated last week
• suomela / da2020
  Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020
  ☆70Updated 3 months ago
• mit-pdos / ward
  ☆31Updated 3 years ago
• anthezium / CS510-Advanced-Topics-in-Concurrency
  CS510 Advanced Topics in Concurrency Project
  ☆15Updated 4 years ago
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆13Updated 4 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• mshockwave / SQLGen
  Generate SQL from TableGen code - This is part of the tutorial "How to write a TableGen backend" in 2021 LLVM Developers' Meeting.
  ☆29Updated 2 years ago
• xinjin / course-net-seminar
  Selected Topics in Computer Networks @ Johns Hopkins University
  ☆19Updated 4 years ago
• dslab-epfl / ebpf-se
  Tool to symbolically execute eBPF programs
  ☆12Updated last year
• pveentjer / Rust-based-ARM-emulator
  A bogus CPU emulator written in Rust.
  ☆53Updated 7 months ago
• OpenCilk / opencilk-project
  Monorepo for the OpenCilk compiler. Forked from llvm/llvm-project and based on Tapir/LLVM.
  ☆107Updated last week
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆32Updated 4 years ago
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆47Updated 3 months ago
• shuaimu / ds19spring
  CSE535 Asynchronous (Distributed) Systems 2019 Spring
  ☆28Updated 5 years ago
• Thesys-lab / HotOS23-QD-LP
  The repo for HotOS paper "FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion"
  ☆33Updated last year
• PrincetonUniversity / DeepSpecDB
  ☆27Updated last month
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆15Updated 5 months ago
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆59Updated 3 months ago
• were / bfsh
  Being a full-stack hacker, RISCV, LLVM, and more.
  ☆18Updated 3 years ago
• hxuhack / course_safepl
  Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University
  ☆28Updated this week
• evanj / hugepagedemo
  Demonstrates using huge pages on Linux to improve performance (in Rust)
  ☆25Updated 7 months ago