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

• 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
  ☆192Updated 4 months ago
• dendibakh / dendibakh.github.io
  Blog and pages generated by Jekyll. Hosted on GitHub.
  ☆57Updated last month
• pmem / book
  Persistent Memory Programming book examples
  ☆41Updated last year
• paulcavallaro / systems-programming
  Examples of common systems programming optimizations
  ☆53Updated 4 years ago
• WitchTools / Witch
  Lightweight performance and debugging tools
  ☆17Updated 5 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
• tchajed / futex-tutorial
  ☆17Updated last year
• mfleming / performance-resources
  A collection of software performance content, blogs, books, and lists.
  ☆120Updated last year
• kaelzhang81 / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆66Updated 6 years ago
• gwsystems / ps
  Parallel sections library for parallel data-structures
  ☆14Updated 2 years ago
• josefbacik / log-writes
  Helper code for dm-log-writes target.
  ☆13Updated last year
• RN-dev-repo / GAPP
  Generic Automatic Parallel Profiler
  ☆35Updated 5 years ago
• sibylfs / sibylfs_src
  Source for SibylFS model and test tools
  ☆36Updated 4 years ago
• uw-unsat / hyperkernel
  ☆186Updated 5 years ago
• uw-unsat / yggdrasil
  ☆33Updated 3 years ago
• oscarlab / Be-Tree
  A simple, reference implementation of a B^e-tree
  ☆159Updated 6 years ago
• multicore-locks / litl
  LiTL: Library for Transparent Lock Interposition
  ☆84Updated 2 years ago
• zxjcarrot / uproc
  userspace /proc filesystem
  ☆12Updated 4 years ago
• bitslab / ffwd
  This is the public release of the ffwd delegation system, and associated benchmarks from the SOSP'17 paper.
  ☆79Updated 8 years ago
• PrincetonUniversity / DeepSpecDB
  ☆27Updated 3 weeks ago
• quux00 / PlusCal-Examples
  Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
  ☆61Updated 10 years ago
• zyedidia / perforator
  Record "perf" performance metrics for individual functions/regions of an ELF binary.
  ☆81Updated last year
• efficient / libinger
  https://www.usenix.org/conference/atc20/presentation/boucher
  ☆26Updated 3 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆52Updated this week
• aclements / sv6
  POSIX-like scalable multicore research OS kernel
  ☆197Updated 5 years ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆54Updated 5 years ago
• mshockwave / gross
  Research Compiler using Graph IR for Code Optimizations and Code Generations
  ☆50Updated 6 years ago
• jfbastien / jit-talk
  ☆48Updated 5 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆103Updated 10 years ago