Alternatives and similar repositories for djenrandom

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

• dj-on-github / sp800_22_tests
  A python implementation of the SP800-22 Rev 1a PRNG test suite.
  ☆167Updated 4 years ago
• dspinellis / cqmetrics
  C Quality Metrics
  ☆68Updated 3 years ago
• Frama-C / Frama-C-snapshot
  Release snapshots of the Frama-C platform for source code analysis
  ☆183Updated 5 years ago
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆121Updated this week
• edwardcrichton / BToolkit
  The BToolkit, a toolkit supporting software development with the B-method.
  ☆37Updated last year
• vscrypto / ringlwe
  A Practical Ring Learning With Errors (RingLWE) Implementation containing New Hope and Peikert reconciliation for Prime and Power-of-2 ca…
  ☆36Updated 7 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• embecosm / gnu-superopt
  The GNU Superoptimizer
  ☆27Updated 11 years ago
• usnistgov / SP800-90B_EntropyAssessment
  The SP800-90B_EntropyAssessment C++package implements the min-entropy assessment methods included in Special Publication 800-90B.
  ☆238Updated 8 months ago
• tamarin-prover / teaching
  Teaching materials related to the Tamarin Prover
  ☆71Updated last year
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 3 weeks ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆51Updated last year
• nimble-code / Cobra
  An interactive (fast) static source code analyzer
  ☆181Updated 3 weeks ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• ANSSI-FR / x509-parser
  a RTE-free X.509 parser
  ☆64Updated 3 years ago
• rems-project / netsem
  Network Semantics
  ☆91Updated 7 years ago
• azonenberg / antikernel
  The Antikernel operating system project
  ☆120Updated 5 years ago
• kframework / c-semantics
  Semantics of C in K
  ☆321Updated 4 years ago
• lvc / api-sanity-checker
  An automatic generator of basic unit tests for a C/C++ library
  ☆87Updated 6 years ago
• seL4 / sel4-tutorials
  Tutorials for working with seL4 and/or CAmkES.
  ☆59Updated 6 months ago
• ForwardCom / bintools
  Binary tools: assembler, disassembler, linker, library manager, emulator
  ☆64Updated last year
• dsw / oink-stack
  Oink is a collaboration of C++ static analysis tools.
  ☆156Updated 3 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆40Updated 8 years ago
• kdudka / predator
  A Shape Analyzer Based on Symbolic Memory Graphs
  ☆78Updated last month
• arcetri / sts
  Improved version of the NIST Statistical Test Suite (STS)
  ☆105Updated last year
• ibm-research / fusedos
  ☆53Updated 11 years ago
• bstarynk / bismon
  persistent monitor (for static source code analysis, GCC based)
  ☆61Updated last year
• Armin-Montigny / MCDC
  Create minimum MCDC test sets for a boolean expression
  ☆46Updated 4 years ago
• bluepilot / scvs
  Secure Coding Validation Suite
  ☆16Updated 6 years ago
• kmowery / libfixedtimefixedpoint
  A library for doing constant-time fixed-point numeric operations
  ☆26Updated 5 years ago