Alternatives and similar repositories for static_analysis_tools

Users that are interested in static_analysis_tools are comparing it to the libraries listed below

• kurocha / concurrent
  ☆13Updated 2 years ago
• UTSASRG / Guarder
  ☆13Updated 7 years ago
• bblum / landslide
  stateless model checking for thread libraries, kernels, and transactional memory
  ☆10Updated 7 years ago
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago
• jedisct1 / randen-rng
  A port of the Google Randen fast backtracking-resistant random generator to the C language.
  ☆27Updated 7 years ago
• rusnikola / wfe
  Wait-Free Eras (PPoPP '20)
  ☆10Updated 6 years ago
• tjim / smpcc
  A compiler for secure multiparty computation
  ☆50Updated 9 years ago
• rweather / lightweight-crypto
  NIST Lightweight Cryptography Primitives
  ☆54Updated 3 years ago
• nano-o / PaxosMadeSimple
  A TLA+ formalization of the algorithm described in "Paxos Made Simple"
  ☆21Updated last year
• veorq / blabla
  like ChaCha, but 64-bit instead of 32-bit thanks to BLAKE2b's permutation
  ☆16Updated 8 years ago
• catid / snowshoe
  Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C
  ☆63Updated 8 years ago
• tfaoliveira / libjc
  ☆21Updated 3 years ago
• sophieschmieg / fun-with-gcm
  ☆19Updated 5 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆54Updated 7 years ago
• NuxiNL / argdata
  A binary serialisation format inspired by YAML, MessagePack and nvlists.
  ☆33Updated 5 years ago
• pornin / bingcd
  Optimized Binary GCD for Modular Inversion
  ☆51Updated 5 years ago
• bbuhrow / avx512_modexp
  A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic
  ☆12Updated 2 years ago
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆28Updated 2 years ago
• doubleodd / c-do255
  Implementations of do255e and do255s in C and assembly
  ☆25Updated 4 years ago
• snej / monocypher-cpp
  An idiomatic C++ wrapper for the Monocypher crypto library
  ☆12Updated last year
• vkrasnov / vpmadd
  Multiplication using AVX512 and AVX512IFMA instructions
  ☆23Updated 10 years ago
• bcoin-org / libtorsion
  C crypto library
  ☆24Updated 2 years ago
• aprell / tasking-2.0
  Tasking 2.0
  ☆16Updated 4 years ago
• richardanaya / c-to-webassembly
  Using clang and llvm to compile C into Web Assembly
  ☆28Updated 6 years ago
• armfazh / h2c-go-ref
  [RFC9380] Hash to curves - Go reference implementation
  ☆21Updated 2 months ago
• clausecker / pospopcnt
  AVX-2 vectorised 8-bit positional popcount for Go
  ☆23Updated 5 years ago
• pornin / cycle-counter
  ☆25Updated last year
• CryptoExperts / Tornado
  Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model
  ☆18Updated 4 years ago
• facebookincubator / haberdashery
  A collection of high-performance crypto implementations.
  ☆52Updated 2 months ago
• clasp-developers / ctak
  A small test for multithreaded C++ stack unwinding on unixes
  ☆16Updated 5 years ago