Alternatives and similar repositories for CS510-Advanced-Topics-in-Concurrency

Users that are interested in CS510-Advanced-Topics-in-Concurrency are comparing it to the libraries listed below

• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆75Updated 6 months ago
• twizzler-operating-system / twizzler-public
  Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.
  ☆66Updated 5 years ago
• parttimenerd / temci
  An advanced benchmarking tool
  ☆193Updated 4 months ago
• kaelzhang81 / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆66Updated 6 years ago
• herd / herdtools7
  The Herd toolsuite to deal with .cat memory models (version 7.xx)
  ☆284Updated last week
• paulcavallaro / systems-programming
  Examples of common systems programming optimizations
  ☆53Updated 4 years ago
• travisdowns / page-info
  Programatically obtain information about the pages backing a given memory region
  ☆82Updated 4 years ago
• mshockwave / gross
  Research Compiler using Graph IR for Code Optimizations and Code Generations
  ☆50Updated 6 years ago
• quux00 / PlusCal-Examples
  Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
  ☆61Updated 10 years ago
• CS161 / chickadee
  Chickadee OS for Harvard CS 161
  ☆99Updated 11 months ago
• zyedidia / perforator
  Record "perf" performance metrics for individual functions/regions of an ELF binary.
  ☆81Updated last year
• tchajed / futex-tutorial
  ☆17Updated last year
• dendibakh / dendibakh.github.io
  Blog and pages generated by Jekyll. Hosted on GitHub.
  ☆57Updated last month
• mfleming / performance-resources
  A collection of software performance content, blogs, books, and lists.
  ☆121Updated last year
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆180Updated 3 weeks ago
• kristerw / deadstores
  A Valgrind tool for finding redundant loads/stores
  ☆21Updated 5 years ago
• vijay03 / cs378-f19
  Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept
  ☆41Updated 6 years ago
• uw-unsat / hyperkernel
  ☆186Updated 5 years ago
• uw-unsat / yggdrasil
  ☆33Updated 3 years ago
• rain-1 / awesome-allocators
  Awesome links and information about memory allocation
  ☆181Updated 6 years ago
• frdwarf / dwarf-synthesis
  ☆29Updated 6 years ago
• eliben / c-unleashed-book-souce-code
  Source code for the "C Unleashed" book by Richard Heathfield, Lawrence Kirby, et al.
  ☆75Updated 4 years ago
• parallel-runtimes / lomp
  Little OpenMP Library
  ☆169Updated 3 years ago
• ManticoreProject / manticore
  Parallel ML compiler
  ☆74Updated 5 years ago
• jfbastien / jit-talk
  ☆48Updated 5 years ago
• IUCompilerCourse / IU-P423-P523-E313-E513-Fall-2020
  Web page for IU Compiler Course for Fall 2020
  ☆132Updated 5 years ago
• WitchTools / Witch
  Lightweight performance and debugging tools
  ☆17Updated 5 years ago
• bthies / streamit
  The StreamIt compiler infrastructure.
  ☆71Updated 9 years ago
• aclements / sv6
  POSIX-like scalable multicore research OS kernel
  ☆197Updated 5 years ago
• PrincetonUniversity / DeepSpecDB
  ☆27Updated last month