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
• kjson / pyfactor
  General number field sieve for python
  ☆18Updated 10 years ago
• onechip / dlog-nfs
  Solve discrete logarithm problems by the number field sieve method.
  ☆19Updated 8 years ago
• tigerlyb / PE-Header-Parser-in-Python
  A PE Header-Based Antivirus Tool
  ☆11Updated 11 years ago
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated 7 months ago
• veorq / numsgen
  Generator of "nothing-up-my-sleeve" constants
  ☆24Updated 10 years ago
• jlumbroso / encyclopedia-of-combinatorial-structures-data
  Encyclopedia of Combinatorial Structures
  ☆15Updated 7 years ago
• sagemath / binary-pkg
  Tools for creating binary tarballs
  ☆16Updated 4 years ago
• openworm / wormbrowser
  The Worm Browser -- a 3D browser of the cellular anatomy of the c. elegans
  ☆49Updated 9 years ago
• j2kun / finite-fields
  Python code and tests for the post 'Programming with Finite Fields'
  ☆48Updated 5 years ago
• jheusser / satcoin
  SAT-based Bitcoin Mining
  ☆89Updated 4 years ago
• hbhdytf / PinSketch
  Implementation of algorithms from the paper Fuzzy Extractors: How to Generate Strong Keys from Biometrics and Other Noisy Data
  ☆14Updated 11 years ago
• radii / ggnfs
  GPL Number Field Sieve implementation
  ☆36Updated 14 years ago
• a4lg / libffuzzy
  Fast ssdeep comparison library
  ☆13Updated 11 years ago
• msoos / grainofsalt
  Grain of Salt equation generator
  ☆16Updated 3 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• Glank / Galois
  Galois field math objects for Python
  ☆29Updated 7 years ago
• sipefree / d00ks
  An ARM Assembler and Simulator/Debugger
  ☆15Updated 16 years ago
• akacastor / noob
  Capture data from QPSK-demodulated OOB bitstream with Saleae logic analyzer and output byte stream.
  ☆21Updated 9 years ago
• FourThievesVinegar / Chemhacktica-OLD
  DEPRECATED. We are now using the askcos repositories for Chemhacktica and reverse synthesis.
  ☆13Updated last year
• toxmail / toxmail
  Toxmail Client
  ☆45Updated 11 years ago
• lehner / gpdfx
  gpdfx is a graphical tool to extract parts of a PDF as a PDF.
  ☆21Updated 9 years ago
• TomSmartBishop / facile-api
  The Facile API is capable of reading (decompiling) .Net assemblies. Covering the metadata tables, the embedded types and methods, includi…
  ☆10Updated 5 years ago
• crocs-muni / classifyRSAkey
  ☆12Updated 5 years ago
• zapatacomputing / VQFData
  Raw data for numerical experiments exploring integer factorization on NISQ devices
  ☆10Updated 7 years ago
• sipwise / sipsak
  [DEPRECATED] SIP Swiss army knife
  ☆19Updated 6 years ago
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 8 years ago
• akacastor / oobin
  Process QPSK-demodulated data into transport stream (SCTE 55-1)
  ☆21Updated 9 years ago
• s3rvac / retdec-sh
  Shell scripts for decompiling and analyzing binary files through the retdec.com REST API.
  ☆12Updated 7 years ago