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
• myw / navier_stokes_translate
  Translation of proposed Navier-Stokes solution by Mukhtarbay Otelbaev
  ☆55Updated 11 years ago
• jaberg / pyautodiff
  Automatic differentiation for NumPy
  ☆42Updated 12 years ago
• veorq / numsgen
  Generator of "nothing-up-my-sleeve" constants
  ☆24Updated 10 years ago
• numenta / hypersearch
  A particle swarm optimization library created by Numenta for hyperparameter optimization.
  ☆18Updated 10 years ago
• tigerlyb / PE-Header-Parser-in-Python
  A PE Header-Based Antivirus Tool
  ☆11Updated 11 years ago
• CRGreathouse / PARI-extensions
  Material for PARI/GP: new functions, some scripts, and syntax highlighting.
  ☆11Updated 2 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
• ThemisB / grecka
  Grecka is a python script to convert Greek to Greeklish based on ELOT 743
  ☆12Updated 7 years ago
• zillya / avenginesdk
  Antivirus engine that allows you to create your own anti-virus
  ☆10Updated 13 years ago
• esoule / cproto
  Cproto generates function prototypes and variable declarations from C source code. Cproto can also convert function definitions between t…
  ☆10Updated 9 years ago
• tahoe-lafs / pycryptopp
  Python bindings to the Crypto++ library
  ☆50Updated 2 years ago
• sagemath / git-trac-command
  A "git trac" subcommand for git
  ☆13Updated 3 years ago
• dtompkins / ubcsat
  The Stochastic Local Search SAT Solver from UBC
  ☆32Updated 3 years ago
• daedalus / fastBloomFilter
  A pure, simple and fast pythonic bloom filter
  ☆10Updated 9 months ago
• blucia0a / CTraps-gcc
  Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis
  ☆13Updated 11 years ago
• a4lg / libffuzzy
  Fast ssdeep comparison library
  ☆13Updated 11 years ago
• sagemath / publications
  Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage
  ☆25Updated 2 months ago
• zapatacomputing / VQFData
  Raw data for numerical experiments exploring integer factorization on NISQ devices
  ☆10Updated 7 years ago
• toxmail / toxmail
  Toxmail Client
  ☆45Updated 11 years ago
• sagemath / binary-pkg
  Tools for creating binary tarballs
  ☆16Updated 4 years ago
• clemsonciti / singularity-images
  Scripts for building Singularity images
  ☆10Updated 6 years ago
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated 6 months ago
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 8 years ago
• danwallach / STAR-Vote
  The secure, transparent, auditable, reliable electronic voting system
  ☆14Updated 9 years ago
• dave-andersen / cudapts
  An Nvidia-based miner for the Protoshares (PTS) cryptocurrency
  ☆38Updated 11 years ago
• dwave-examples / factoring
  Factor numbers using a quantum computer
  ☆35Updated 2 years ago
• czielinski / secmultipartycomp
  Introduction to Secure Multi-Party Computations
  ☆16Updated 7 years ago