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
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago
• bblum / landslide
  stateless model checking for thread libraries, kernels, and transactional memory
  ☆10Updated 6 years ago
• tjim / smpcc
  A compiler for secure multiparty computation
  ☆50Updated 8 years ago
• tfaoliveira / libjc
  ☆19Updated 2 years ago
• jedisct1 / randen-rng
  A port of the Google Randen fast backtracking-resistant random generator to the C language.
  ☆27Updated 7 years ago
• UTSASRG / Guarder
  ☆13Updated 6 years ago
• rusnikola / wfe
  Wait-Free Eras (PPoPP '20)
  ☆10Updated 5 years ago
• aprell / tasking-2.0
  Tasking 2.0
  ☆16Updated 3 years ago
• jedisct1 / zig-eddsa-key-blinding
  A Zig implementation of EdDSA signatures with blind keys.
  ☆17Updated 2 years ago
• doubleodd / c-do255
  Implementations of do255e and do255s in C and assembly
  ☆25Updated 4 years ago
• veorq / blabla
  like ChaCha, but 64-bit instead of 32-bit thanks to BLAKE2b's permutation
  ☆15Updated 8 years ago
• jedisct1 / simpira384
  An AES-based 384 bit permutation.
  ☆21Updated 3 months ago
• naskitis / B-trie
  The B-trie and B-tree, written in C, as described in my PhD thesis.
  ☆28Updated 8 years ago
• bbuhrow / avx512_modexp
  A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic
  ☆12Updated last year
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆51Updated 7 years ago
• catid / snowshoe
  Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C
  ☆63Updated 7 years ago
• nano-o / PaxosMadeSimple
  A TLA+ formalization of the algorithm described in "Paxos Made Simple"
  ☆21Updated 6 months ago
• armfazh / redox-ecc
  Elliptic curves Rust reference implementation
  ☆16Updated last year
• richardanaya / c-to-webassembly
  Using clang and llvm to compile C into Web Assembly
  ☆27Updated 5 years ago
• vkrasnov / avx_qsort
  Quick sort code using AVX2 instructions
  ☆69Updated 8 years ago
• facebookincubator / haberdashery
  A collection of high-performance crypto implementations.
  ☆53Updated 3 months ago
• pornin / cycle-counter
  ☆23Updated 8 months ago
• NuxiNL / argdata
  A binary serialisation format inspired by YAML, MessagePack and nvlists.
  ☆32Updated 4 years ago
• losfair / FlatRv
  A cross-platform RISC-V interpreter that implements the RV32IMA instruction set.
  ☆24Updated 2 years ago
• wdamron / x64
  x86-64 instruction encoder in Go
  ☆21Updated 5 years ago
• clausecker / pospopcnt
  AVX-2 vectorised 8-bit positional popcount for Go
  ☆23Updated 4 years ago
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆27Updated last year
• sgmarz / ttrust
  Teeny Tiny Compiler built in Rust
  ☆16Updated last year
• gvilitechltd / LibSWIFFT
  LibSWIFFT - A fast C/C++ library for the SWIFFT secure homomorphic hash function
  ☆27Updated last year