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
• hyperledger-archives / sawtooth-raft
  ☆26Updated 3 years ago
• matklad / paxosnotes
  ☆23Updated 2 years ago
• vkrasnov / vpmadd
  Multiplication using AVX512 and AVX512IFMA instructions
  ☆23Updated 9 years ago
• sophieschmieg / fun-with-gcm
  ☆19Updated 5 years ago
• anishathalye / notary
  Notary: A Device for Secure Transaction Approval 📟
  ☆28Updated 7 months ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 6 years ago
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆54Updated 5 years ago
• vkrasnov / avx_qsort
  Quick sort code using AVX2 instructions
  ☆69Updated 8 years ago
• iteratee / p11_260
  High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.
  ☆14Updated 4 years ago
• nmathewson / libottery
  A fast secure userspace pseudorandom number generator
  ☆83Updated 11 years ago
• tjim / smpcc
  A compiler for secure multiparty computation
  ☆50Updated 9 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 4 years 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
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 6 years ago
• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆37Updated 11 years ago
• gtank / defcon25_crypto_village
  Materials accompanying "Implementing an Elliptic Curve in Go"
  ☆13Updated 8 years ago
• armfazh / redox-ecc
  Elliptic curves Rust reference implementation
  ☆16Updated last year
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆33Updated 4 years ago
• coccinelle / faults-in-Linux
  Experimental bed to study Linux faults
  ☆26Updated 3 years ago
• Chia-Network / vdf-competition
  ☆25Updated 2 years ago
• jfbastien / papers
  Papers for the C++ Standards Committee, WG21
  ☆57Updated 4 months ago
• isislovecruft / signal-anonymous-credentials
  A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.
  ☆14Updated 5 years ago
• microsoft / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆231Updated 4 years ago
• jedisct1 / rust-xoodyak
  Xoodyak, a lightweight and versatile cryptographic scheme implemented in Rust.
  ☆30Updated 5 months ago
• UTSASRG / Guarder
  ☆13Updated 6 years ago
• mit-pdos / ward
  ☆30Updated 3 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆52Updated 7 years ago
• keithw / sourdough
  Starter template for networking-related programs
  ☆20Updated 6 years ago