Alternatives and similar repositories for XORSATFilter

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

• nsacyber / simon-speck-supercop
  Fast implementations of the SIMON and SPECK lightweight block ciphers for the SUPERCOP benchmark toolkit. #nsacyber
  ☆46Updated 6 years ago
• GaloisInc / macaw
  Open source binary analysis tools.
  ☆224Updated this week
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆33Updated 3 years ago
• gravity-postquantum / prune-horst
  Signature scheme submitted to NIST's Post-Quantum Cryptography Project
  ☆28Updated 7 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆45Updated 4 years ago
• plasma-umass / entroprise
  measure entropy of memory allocators
  ☆12Updated 3 years ago
• kenmcmil / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆91Updated this week
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆70Updated 9 years ago
• teserakt-io / pqgo
  cgo wrappers around post-quantum cryptography primitives
  ☆23Updated 6 years ago
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆28Updated 2 months ago
• hacspec / hacspec-python
  Please check out https://github.com/hacspec/hacspec for more information on hacspec
  ☆46Updated 4 years ago
• femto-dev / femto
  Sequence Indexing and Search
  ☆106Updated last month
• facebookincubator / haberdashery
  A collection of high-performance crypto implementations.
  ☆51Updated last month
• Z3Prover / FirewallChecker
  A self-contained firewall checker
  ☆106Updated 3 years ago
• catenacyber / elliptic-curve-differential-fuzzer
  Differential fuzzing for elliptic curves
  ☆23Updated last year
• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 8 years ago
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆52Updated 5 years ago
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆27Updated last year
• google-research / raksha
  ☆36Updated this week
• skarupke / glibc_cv_tla_plus
  Reproducing a bug in the Glibc condition variables using TLA+
  ☆11Updated 2 years ago
• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆29Updated last week
• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆33Updated 11 months ago
• InstLatx64 / AVX512_PopCnt
  AVX512 population count routines
  ☆22Updated 5 years ago
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆49Updated 4 years ago
• petersn / autosat
  Library for creation of SAT instances.
  ☆21Updated 2 years ago
• Z3Prover / doc
  Documentation
  ☆43Updated 3 weeks ago
• NationalSecurityAgency / fractalrabbit
  Simulate realistic trajectory data seen through sporadic reporting
  ☆156Updated 3 months ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆59Updated 7 years ago
• GaloisInc / pirate
  Main repository for the Galois/Two Six Pirate Project for DARPA GAPS
  ☆4Updated 4 years ago