Alternatives and similar repositories for static_analysis_tools

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

• rusnikola / wfe
  Wait-Free Eras (PPoPP '20)
  ☆10Updated 5 years ago
• 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
• UTSASRG / Guarder
  ☆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
• aegis-aead / libaegis
  Portable C implementations of the AEGIS family of high-performance authenticated encryption algorithms.
  ☆103Updated last month
• doubleodd / c-do255
  Implementations of do255e and do255s in C and assembly
  ☆25Updated 4 years ago
• nano-o / PaxosMadeSimple
  A TLA+ formalization of the algorithm described in "Paxos Made Simple"
  ☆21Updated 9 months ago
• jedisct1 / simpira384
  An AES-based 384 bit permutation.
  ☆21Updated 6 months ago
• bcoin-org / libtorsion
  C crypto library
  ☆24Updated 2 years ago
• bretthall / Wyatt-STM
  Software transactional memory system developed at Wyatt Technology
  ☆29Updated 6 years ago
• armfazh / h2c-go-ref
  [RFC9380] Hash to curves - Go reference implementation
  ☆21Updated 6 months ago
• pornin / cycle-counter
  ☆24Updated 11 months ago
• chaoran / fibril
  A high performance fork-join multi-threading library
  ☆18Updated 8 years ago
• losfair / FlatRv
  A cross-platform RISC-V interpreter that implements the RV32IMA instruction set.
  ☆24Updated 3 years ago
• sgmarz / ttrust
  Teeny Tiny Compiler built in Rust
  ☆16Updated last year
• clasp-developers / ctak
  A small test for multithreaded C++ stack unwinding on unixes
  ☆16Updated 5 years ago
• catid / snowshoe
  Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C
  ☆63Updated 7 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆53Updated 7 years ago
• camgunz / sst
  A C Templating Engine
  ☆11Updated 8 years ago
• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆34Updated last year
• gvilitechltd / LibSWIFFT
  LibSWIFFT - A fast C/C++ library for the SWIFFT secure homomorphic hash function
  ☆28Updated last year
• NuxiNL / argdata
  A binary serialisation format inspired by YAML, MessagePack and nvlists.
  ☆33Updated 5 years ago
• jedisct1 / rust-xoodyak
  Xoodyak, a lightweight and versatile cryptographic scheme implemented in Rust.
  ☆30Updated 6 months ago
• chjj / lcdb
  LevelDB implemented in C (unofficial -- not affiliated with Google in any way)
  ☆101Updated last year
• richardanaya / c-to-webassembly
  Using clang and llvm to compile C into Web Assembly
  ☆28Updated 6 years ago
• vkrasnov / vpmadd
  Multiplication using AVX512 and AVX512IFMA instructions
  ☆23Updated 10 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
  ☆70Updated 4 years ago