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
• rusnikola / wfe
  Wait-Free Eras (PPoPP '20)
  ☆10Updated 6 years ago
• UTSASRG / Guarder
  ☆13Updated 7 years ago
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago
• aprell / tasking-2.0
  Tasking 2.0
  ☆16Updated 4 years ago
• jedisct1 / randen-rng
  A port of the Google Randen fast backtracking-resistant random generator to the C language.
  ☆27Updated 7 years ago
• tjim / smpcc
  A compiler for secure multiparty computation
  ☆50Updated 9 years ago
• nano-o / PaxosMadeSimple
  A TLA+ formalization of the algorithm described in "Paxos Made Simple"
  ☆21Updated last year
• jedisct1 / rust-xoodyak
  Xoodyak, a lightweight and versatile cryptographic scheme implemented in Rust.
  ☆30Updated 9 months ago
• sgmarz / ttrust
  Teeny Tiny Compiler built in Rust
  ☆16Updated 2 years ago
• jedisct1 / zig-eddsa-key-blinding
  A Zig implementation of EdDSA signatures with blind keys.
  ☆17Updated 2 years ago
• tfaoliveira / libjc
  ☆21Updated 3 years ago
• sophieschmieg / fun-with-gcm
  ☆19Updated 5 years ago
• clasp-developers / ctak
  A small test for multithreaded C++ stack unwinding on unixes
  ☆16Updated 5 years ago
• facebookincubator / haberdashery
  A collection of high-performance crypto implementations.
  ☆52Updated 2 months ago
• armfazh / h2c-go-ref
  [RFC9380] Hash to curves - Go reference implementation
  ☆21Updated 2 months ago
• Sc00bz / bscrypt
  A cache hard password hash/KDF
  ☆49Updated last year
• richardanaya / c-to-webassembly
  Using clang and llvm to compile C into Web Assembly
  ☆29Updated 6 years ago
• gvilitechltd / LibSWIFFT
  LibSWIFFT - A fast C/C++ library for the SWIFFT secure homomorphic hash function
  ☆29Updated 2 years ago
• ericlagergren / aegis
  Implementation of https://www.ietf.org/archive/id/draft-denis-aegis-aead-00.html / https://competitions.cr.yp.to/round3/aegisv11.pdf
  ☆14Updated 10 months ago
• vkrasnov / avx_qsort
  Quick sort code using AVX2 instructions
  ☆69Updated 8 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆54Updated 7 years ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆23Updated 3 years ago
• veorq / blabla
  like ChaCha, but 64-bit instead of 32-bit thanks to BLAKE2b's permutation
  ☆16Updated 8 years ago
• chaoran / fibril
  A high performance fork-join multi-threading library
  ☆18Updated 8 years ago
• jedisct1 / zig-aes-gem
  AES-GEM (AES Galois Extended Mode) implementation.
  ☆13Updated last month
• armfazh / redox-ecc
  Elliptic curves Rust reference implementation
  ☆16Updated last year
• losfair / hexagon-e
  The HexagonE VM
  ☆26Updated 3 years ago
• NuxiNL / argdata
  A binary serialisation format inspired by YAML, MessagePack and nvlists.
  ☆33Updated 5 years ago
• bretthall / Wyatt-STM
  Software transactional memory system developed at Wyatt Technology
  ☆30Updated 6 years ago