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

• elfsternberg / riggedregex
  Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust
  ☆20Updated 5 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆38Updated last year
• rlu-sync / rlu-rht
  RLU resizable hash-table
  ☆17Updated 9 years ago
• nelhage / bemu
  A just-in-time compiler for MIT 6.004's "Beta" processor.
  ☆40Updated 10 years ago
• PrincetonUniversity / DeepSpecDB
  ☆27Updated last month
• josefbacik / log-writes
  Helper code for dm-log-writes target.
  ☆13Updated 10 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.
  ☆65Updated 4 years ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• mit-pdos / 6.826-2017-labs
  ☆14Updated 7 years ago
• kaelzhang81 / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆66Updated 5 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 4 years ago
• ocamllabs / focs-notebooks
  Foundations of Computer Science notebooks
  ☆16Updated 7 months ago
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago
• jhellerstein / arugula
  a small C++ lattice library
  ☆15Updated 5 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆51Updated 7 years ago
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆40Updated last year
• lemire / multiplatform_simd_recipes
  SIMD recipes, for various platforms (collection of code snippets)
  ☆48Updated 4 years ago
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆32Updated 4 years ago
• frdwarf / dwarf-synthesis
  ☆29Updated 5 years ago
• facebookarchive / Rseq
  Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations
  ☆36Updated 6 years ago
• caetanosauer / fineline-zero
  ☆12Updated 6 years ago
• icorderi / rust-pmem
  Rust bindings for the NVM Library http://pmem.io
  ☆16Updated 8 years ago
• ligurio / elle-cli
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆28Updated 3 months ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆1Updated 5 years ago
• s3cur3 / llvm-data-structure-benchmarks
  A benchmark for cache efficient data structures.
  ☆30Updated 6 years ago
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 7 years ago
• clasp-developers / ctak
  A small test for multithreaded C++ stack unwinding on unixes
  ☆16Updated 5 years ago
• zwegner / Miroslav
  A proof-of-concept for a fast regex matcher using lossy NFA matching on SIMD
  ☆12Updated 6 years ago
• pkhuong / barrierd
  Safely privileged daemon to let userspace wait on global barriers with low, constant overhead
  ☆17Updated 5 years ago
• dannypsnl / racket-llvm
  racket llvm C-API bindings
  ☆17Updated 5 months ago