Alternatives and similar repositories for COMPSCI-630

Users that are interested in COMPSCI-630 are comparing it to the libraries listed below

• rusnikola / wfe
  Wait-Free Eras (PPoPP '20)
  ☆10Updated 5 years ago
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆52Updated 5 years ago
• vkrasnov / avx_qsort
  Quick sort code using AVX2 instructions
  ☆69Updated 8 years ago
• matklad / paxosnotes
  ☆23Updated 2 years ago
• vkrasnov / vpmadd
  Multiplication using AVX512 and AVX512IFMA instructions
  ☆23Updated 9 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 4 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 6 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆51Updated 7 years ago
• sophieschmieg / fun-with-gcm
  ☆19Updated 5 years ago
• anishathalye / notary
  Notary: A Device for Secure Transaction Approval 📟
  ☆28Updated 6 months ago
• plasma-umass / sheriff
  Sheriff consists of two tools: Sheriff-Detect, a false-sharing detector, and Sheriff-Protect, a false-sharing eliminator that you can lin…
  ☆32Updated 7 years ago
• facebookarchive / Rseq
  Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations
  ☆37Updated 6 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆40Updated 2 years ago
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆32Updated 4 years ago
• jfbastien / papers
  Papers for the C++ Standards Committee, WG21
  ☆56Updated 2 months ago
• jhellerstein / arugula
  a small C++ lattice library
  ☆15Updated 5 years ago
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆26Updated 6 years ago
• ut-osa / txfs
  TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)
  ☆66Updated 6 years ago
• keithw / sourdough
  Starter template for networking-related programs
  ☆20Updated 6 years ago
• tjim / smpcc
  A compiler for secure multiparty computation
  ☆50Updated 8 years ago
• mit-pdos / ward
  ☆30Updated 3 years ago
• UTSASRG / Guarder
  ☆13Updated 6 years ago
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 7 years ago
• gtank / defcon25_crypto_village
  Materials accompanying "Implementing an Elliptic Curve in Go"
  ☆13Updated 8 years ago
• isislovecruft / signal-anonymous-credentials
  A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.
  ☆14Updated 5 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• llvm-mirror / polly
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆88Updated 5 years ago
• elfsternberg / riggedregex
  Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust
  ☆20Updated 5 years ago
• regehr / rb_tree_demo
  code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896
  ☆18Updated 6 years ago