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
• jedisct1 / randen-rng
  A port of the Google Randen fast backtracking-resistant random generator to the C language.
  ☆27Updated 7 years ago
• aprell / tasking-2.0
  Tasking 2.0
  ☆16Updated 4 years ago
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago
• rusnikola / wfe
  Wait-Free Eras (PPoPP '20)
  ☆10Updated 6 years ago
• UTSASRG / Guarder
  ☆13Updated 7 years ago
• jedisct1 / zig-eddsa-key-blinding
  A Zig implementation of EdDSA signatures with blind keys.
  ☆17Updated 2 years ago
• 2vg / nim-wasm-example
  example "Nim to wasm".
  ☆20Updated 6 years ago
• NuxiNL / argdata
  A binary serialisation format inspired by YAML, MessagePack and nvlists.
  ☆33Updated 5 years ago
• nano-o / PaxosMadeSimple
  A TLA+ formalization of the algorithm described in "Paxos Made Simple"
  ☆21Updated 11 months ago
• tjim / smpcc
  A compiler for secure multiparty computation
  ☆50Updated 9 years ago
• Sc00bz / bscrypt
  A cache hard password hash/KDF
  ☆48Updated last year
• tidwall / varint.c
  Read and write variable sized integers in C
  ☆14Updated 11 months ago
• jedisct1 / PureDB
  PureDB is a portable and tiny set of libraries for creating and reading constant databases.
  ☆35Updated 2 years ago
• chaoran / fibril
  A high performance fork-join multi-threading library
  ☆18Updated 8 years ago
• clausecker / pospopcnt
  AVX-2 vectorised 8-bit positional popcount for Go
  ☆23Updated 5 years ago
• facebookincubator / haberdashery
  A collection of high-performance crypto implementations.
  ☆52Updated last month
• clasp-developers / ctak
  A small test for multithreaded C++ stack unwinding on unixes
  ☆16Updated 5 years ago
• crack-lang / crack
  ☆93Updated last month
• vkrasnov / avx_qsort
  Quick sort code using AVX2 instructions
  ☆69Updated 8 years ago
• simonglob / vesseract
  A V wrapper for Tesseract-OCR
  ☆17Updated 4 years ago
• isislovecruft / ristretto-donna
  A fork of floodyberry's ed25519-donna modified to support the Ristretto prime-order group
  ☆15Updated 4 years ago
• catid / snowshoe
  Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C
  ☆63Updated 7 years ago
• nimble-code / Uno
  simple static source code analysis tool for C code, with user-definable properties
  ☆28Updated last year
• aegis-aead / libaegis
  Portable C implementations of the AEGIS family of high-performance authenticated encryption algorithms.
  ☆111Updated this week
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆54Updated 7 years ago
• jedisct1 / simpira384
  An AES-based 384 bit permutation.
  ☆21Updated 8 months ago
• doubleodd / c-do255
  Implementations of do255e and do255s in C and assembly
  ☆25Updated 4 years ago
• camgunz / sst
  A C Templating Engine
  ☆11Updated 8 years ago
• planetis-m / libfuzzer
  Thin interface for libFuzzer, an in-process, coverage-guided, evolutionary fuzzing engine.
  ☆48Updated 2 years ago