Alternatives and similar repositories for static_analysis_tools

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

• bblum / landslide
  stateless model checking for thread libraries, kernels, and transactional memory
  ☆10Updated 6 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 5 years ago
• UTSASRG / Guarder
  ☆13Updated 7 years ago
• kurocha / concurrent
  ☆13Updated 2 years ago
• nano-o / PaxosMadeSimple
  A TLA+ formalization of the algorithm described in "Paxos Made Simple"
  ☆21Updated 10 months ago
• pornin / cycle-counter
  ☆24Updated last year
• 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
• catid / snowshoe
  Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C
  ☆63Updated 7 years 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
• jedisct1 / randen-rng
  A port of the Google Randen fast backtracking-resistant random generator to the C language.
  ☆27Updated 7 years ago
• chaoran / fibril
  A high performance fork-join multi-threading library
  ☆18Updated 8 years ago
• 2vg / nim-wasm-example
  example "Nim to wasm".
  ☆20Updated 5 years ago
• planetis-m / libfuzzer
  Thin interface for libFuzzer, an in-process, coverage-guided, evolutionary fuzzing engine.
  ☆46Updated 2 years ago
• facebookincubator / haberdashery
  A collection of high-performance crypto implementations.
  ☆52Updated 3 weeks ago
• armfazh / h2c-go-ref
  [RFC9380] Hash to curves - Go reference implementation
  ☆21Updated last month
• sgmarz / ttrust
  Teeny Tiny Compiler built in Rust
  ☆16Updated 2 years ago
• ibara / qbe
  Mirror of https://c9x.me/git/qbe.git
  ☆11Updated 3 years ago
• tjim / smpcc
  A compiler for secure multiparty computation
  ☆50Updated 9 years ago
• tfaoliveira / libjc
  ☆21Updated 3 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆53Updated 7 years ago
• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆58Updated last year
• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆34Updated last year
• bbuhrow / avx512_modexp
  A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic
  ☆12Updated 2 years ago
• aegis-aead / libaegis
  Portable C implementations of the AEGIS family of high-performance authenticated encryption algorithms.
  ☆111Updated this week
• jedisct1 / simpira384
  An AES-based 384 bit permutation.
  ☆21Updated 7 months ago
• jedisct1 / zig-eddsa-key-blinding
  A Zig implementation of EdDSA signatures with blind keys.
  ☆17Updated 2 years ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆54Updated 5 years ago