Alternatives and similar repositories for static_analysis_tools

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

• tjim / smpcc
  A compiler for secure multiparty computation
  ☆50Updated 8 years ago
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago
• UTSASRG / Guarder
  ☆13Updated 6 years ago
• kurocha / concurrent
  ☆13Updated 2 years ago
• aprell / tasking-2.0
  Tasking 2.0
  ☆16Updated 3 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 5 years ago
• Bulat-Ziganshin / ECC-Benchmark
  Comparison of leading error-correcting code implementations
  ☆12Updated 2 years ago
• zwegner / Miroslav
  A proof-of-concept for a fast regex matcher using lossy NFA matching on SIMD
  ☆12Updated 6 years ago
• chaoran / fibril
  A high performance fork-join multi-threading library
  ☆18Updated 8 years ago
• lmrs2 / zerostack
  Clang/LLVM patches to zero stack/registers of sensitive functions
  ☆14Updated 7 years ago
• KWillets / range_generator
  Some variations on Lemire's Fast Random Integer Generation in an Interval
  ☆15Updated 5 years ago
• nano-o / PaxosMadeSimple
  A TLA+ formalization of the algorithm described in "Paxos Made Simple"
  ☆21Updated 5 months ago
• status-im / nim-ranges
  Exploration of various implementations of memory range types
  ☆7Updated 6 years ago
• zakkak / cilk
  The CIlk programming language from http://supertech.lcs.mit.edu/cilk/
  ☆9Updated 9 years ago
• kste / haraka
  Haraka is a secure and efficient short-input hash function.
  ☆57Updated 7 years ago
• NuxiNL / argdata
  A binary serialisation format inspired by YAML, MessagePack and nvlists.
  ☆32Updated 4 years ago
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆27Updated last year
• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆57Updated 10 months ago
• doubleodd / c-do255
  Implementations of do255e and do255s in C and assembly
  ☆25Updated 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
• tfaoliveira / libjc
  ☆19Updated 2 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆38Updated last year
• bretthall / Wyatt-STM
  Software transactional memory system developed at Wyatt Technology
  ☆29Updated 5 years ago
• hniksic / corocc
  Coroutines with explicit suspend and continuation
  ☆12Updated 7 years ago
• mimoo / disco-c
  A tiny C cryptographic library to encrypt sessions, authenticate messages, sign, hash, etc. based only on SHA-3 and Curve25519
  ☆69Updated 4 years ago
• catid / snowshoe
  Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C
  ☆63Updated 7 years ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆22Updated 2 years ago
• jedisct1 / zig-eddsa-key-blinding
  A Zig implementation of EdDSA signatures with blind keys.
  ☆17Updated 2 years ago