Alternatives and similar repositories for satfactor

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

• capiman / sha256-sat-bitcoin
  SHA256-SAT-BITCOIN
  ☆24Updated 9 years ago
• sagemath / sagelib
  Git mirror of http://hg.sagemath.org/sage-main/
  ☆38Updated 13 years ago
• onechip / dlog-nfs
  Solve discrete logarithm problems by the number field sieve method.
  ☆18Updated 8 years ago
• sagemath / binary-pkg
  Tools for creating binary tarballs
  ☆16Updated 4 years ago
• tigerlyb / PE-Header-Parser-in-Python
  A PE Header-Based Antivirus Tool
  ☆11Updated 10 years ago
• dwave-examples / factoring
  Factor numbers using a quantum computer
  ☆35Updated last year
• zapatacomputing / VQFData
  Raw data for numerical experiments exploring integer factorization on NISQ devices
  ☆10Updated 7 years ago
• sagemath / git-trac-command
  A "git trac" subcommand for git
  ☆13Updated 3 years ago
• martani / Quadratic-Sieve
  A simple implementation of the Quadratic Sieve for integer factoring in C
  ☆13Updated 13 years ago
• czielinski / secmultipartycomp
  Introduction to Secure Multi-Party Computations
  ☆16Updated 6 years ago
• jheusser / satcoin
  SAT-based Bitcoin Mining
  ☆88Updated 3 years ago
• CRGreathouse / PARI-extensions
  Material for PARI/GP: new functions, some scripts, and syntax highlighting.
  ☆11Updated last year
• Glank / Galois
  Galois field math objects for Python
  ☆29Updated 7 years ago
• El3ct71k / Keylogger
  ☆15Updated 11 years ago
• msoeken / reversible-sota
  State-of-the-art in reversible logic synthesis
  ☆22Updated 9 years ago
• kjson / pyfactor
  General number field sieve for python
  ☆18Updated 10 years ago
• cirosantilli / gnuplot-cheat
  Minimal explained Gnuplot examples. Compiled outputs: http://www.cirosantilli.com/gnuplot-examples-gh-pages/
  ☆16Updated 8 months ago
• nsacyber / simon-speck-supercop
  Fast implementations of the SIMON and SPECK lightweight block ciphers for the SUPERCOP benchmark toolkit. #nsacyber
  ☆47Updated 7 years ago
• 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
• suragnair / ProbabilisticGraphicalModels
  General Purpose C++ Implementation for Inference and Learning in Bayesian and Markov Networks
  ☆16Updated 6 years ago
• s3rvac / retdec-sh
  Shell scripts for decompiling and analyzing binary files through the retdec.com REST API.
  ☆12Updated 7 years ago
• veorq / numsgen
  Generator of "nothing-up-my-sleeve" constants
  ☆24Updated 10 years ago
• fancompute / ising-compiler
  🍰 Compiling your code to an Ising Hamiltonian so you don't have to!
  ☆53Updated 5 years ago
• gomeztato / QuantumCourse
  Notebooks and other stuff for a Quantum Course
  ☆15Updated 5 years ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆11Updated last month
• radii / ggnfs
  GPL Number Field Sieve implementation
  ☆36Updated 14 years ago
• j2kun / finite-fields
  Python code and tests for the post 'Programming with Finite Fields'
  ☆48Updated 5 years ago
• shinmorino / sqaod
  Solvers/annealers for simulated quantum annealing on CPU and CUDA(NVIDIA GPU).
  ☆88Updated 2 years ago
• scttl / marks_based_ocr
  Matlab based document image analysis and classification system, that makes heavy use of contextual and language cues to decode image glyp…
  ☆12Updated 13 years ago
• ctuning / ck-quantum
  Miscellaneous resources for Quantum Collective Knowledge
  ☆32Updated last year