Alternatives and similar repositories for sha256-sat-bitcoin

Users that are interested in sha256-sat-bitcoin are comparing it to the libraries listed below

• jheusser / satcoin
  SAT-based Bitcoin Mining
  ☆87Updated 3 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated this week
• vsklad / cgen
  CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi outp…
  ☆25Updated 2 years ago
• iaikkrypto / lineartrails
  Tool to automatically search for linear characteristics
  ☆39Updated 9 years ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆19Updated 2 weeks ago
• msoos / grainofsalt
  Grain of Salt equation generator
  ☆16Updated 3 years ago
• ivmai / cudd
  CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/C…
  ☆130Updated last year
• meelgroup / arjun
  CNF minimizer and minimal independent set minimizer
  ☆19Updated last week
• meelgroup / bosphorus
  Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
  ☆71Updated 2 months ago
• vesselinux / yaarx
  Yet Another Toolkit for Analysis of ARX Cryptographic Algorithms
  ☆31Updated 3 years ago
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated last year
• kste / haraka
  Haraka is a secure and efficient short-input hash function.
  ☆57Updated 7 years ago
• onechip / dlog-nfs
  Solve discrete logarithm problems by the number field sieve method.
  ☆17Updated 7 years ago
• pdinges / python-schoof
  Python implementation of Schoof's algorithm for counting the points on elliptic curves over finite fields
  ☆43Updated 6 years ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆43Updated last year
• cr-marcstevens / m4gb
  M4GB: Efficient Groebner Basis algorithm
  ☆55Updated 6 years ago
• mmeh / simon-speck-cryptanalysis
  Cryptanalysis code for the SIMON and SPECK families of block ciphers
  ☆20Updated 9 years ago
• vegard / cnf-utils
  Dimacs CNF utilities
  ☆20Updated 14 years ago
• Pythia3431 / Delphinium
  ☆11Updated 4 years ago
• CRGreathouse / PARI-extensions
  Material for PARI/GP: new functions, some scripts, and syntax highlighting.
  ☆11Updated last year
• okazymyrov / sbox
  Analysis and generation of substitutions
  ☆23Updated 3 years ago
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆73Updated last year
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆40Updated 8 years ago
• SRI-CSL / sally
  A model checker for infinite-state systems.
  ☆74Updated 2 weeks ago
• defeo / ss-isogeny-software
  Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"
  ☆88Updated 5 years ago
• matteocam / zkcsp-over-bitcoin
  An implementation for fair auditing and contingent payments in Bitcoin
  ☆23Updated 7 years ago
• hcrypt-project / obliviousJ
  Implements an encryptable machine (shapeCPU Java)
  ☆11Updated 9 years ago
• catid / snowshoe
  Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C
  ☆63Updated 7 years ago