Alternatives and similar repositories for sha256-sat-bitcoin

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

• sjneph / satfactor

  View on GitHub
  Convert an integer factorization problem into a boolean SATISFIABILITY problem.
  ☆10Jan 14, 2019Updated 7 years ago
• jheusser / satcoin

  View on GitHub
  SAT-based Bitcoin Mining
  ☆89Jan 20, 2022Updated 4 years ago
• bwt-dev / bwt-electrum-plugin

  View on GitHub
  Electrum plugin for Bitcoin Wallet Tracker, a lightweight personal indexer for bitcoin wallets. Allows connecting Electrum to a Bitcoin C…
  ☆20Nov 10, 2021Updated 4 years ago
• vsklad / cgen

  View on GitHub
  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…
  ☆25Jun 3, 2023Updated 2 years ago
• benkrasnow / Xray_backscatter_compressed_sensing

  View on GitHub
  Firmware and software to collect X-ray backscatter images and reconstruct with compressed sensing pylbfgs
  ☆54Jul 18, 2025Updated 6 months ago
• apps4av / avarehelper

  View on GitHub
  avarehelper
  ☆12Aug 15, 2021Updated 4 years ago
• BeamMW / cuda-miner

  View on GitHub
  Cuda Miner for BeamHash (Equihash 150,5)
  ☆13Jan 16, 2019Updated 7 years ago
• vegard / sha1-sat

  View on GitHub
  SAT instance generator for SHA-1
  ☆49Feb 12, 2021Updated 5 years ago
• xlucn / LTE440

  View on GitHub
  Lunar Time Ephemerides based on DE440
  ☆18Jan 17, 2026Updated 3 weeks ago
• tyler-utah / PBL

  View on GitHub
  A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…
  ☆10Jun 21, 2015Updated 10 years ago
• r4p3c4 / CVE-2024-21762-Exploit-PoC-Fortinet-SSL-VPN-Check

  View on GitHub
  Chequea si tu firewall es vulnerable a CVE-2024-21762 (RCE sin autenticación)
  ☆15Jun 29, 2025Updated 7 months ago
• eliastor / course-golang-syseng-101

  View on GitHub
  It is repository for course Golang in Systems Engineering 101
  ☆11Feb 24, 2023Updated 2 years ago
• ApOgEE / mingw-c-socket

  View on GitHub
  C Socket Programming in MinGW
  ☆10Feb 16, 2012Updated 13 years ago
• 9esim / eLPA

  View on GitHub
  The 9esim mini tool is a external (or we called extension) LPA on a board, which based on ESP32S3.
  ☆13Dec 19, 2024Updated last year
• ruby-journal / nguyen

  View on GitHub
  Ruby library - Fill out PDF form with FDF/XFDF via pdftk
  ☆16Sep 28, 2021Updated 4 years ago
• coursera / plugin-examples

  View on GitHub
  examples of plugins for use by Coursera partners
  ☆13Jun 18, 2025Updated 7 months ago
• turksiberguvenlik / spade

  View on GitHub
  Anrodi Trojanı Başka Bir Programla Birleştir
  ☆10Oct 30, 2016Updated 9 years ago
• zegervdv / bitslice

  View on GitHub
  Verilog bit slicing for python
  ☆10May 13, 2021Updated 4 years ago
• forresttindall / QuantumKeep

  View on GitHub
  A quantum enhanced, totaly private encryption app that uses true random key generation from zero point energy.
  ☆13Jul 2, 2025Updated 7 months ago
• btchip / trezor-security-exploits

  View on GitHub
  Repository of now harmless TREZOR security exploits
  ☆11Jun 14, 2015Updated 10 years ago
• bit-player / primeafterprime

  View on GitHub
  Julia notebook for exploring correlations among consecutive primes.
  ☆10Sep 7, 2020Updated 5 years ago
• StardustCollective / molly_wallet

  View on GitHub
  The desktop wallet of Constellation Network aka. Molly Wallet.
  ☆12Sep 24, 2022Updated 3 years ago
• DeepDiverGuy / sha256_reverse

  View on GitHub
  This is a possible solution to reverse the sha256 hash, but not an efficient one
  ☆12Jul 10, 2024Updated last year
• viniciusferrao / cloysterhpc

  View on GitHub
  Cloyster HPC is a turnkey HPC cluster solution with an user-friendly installer
  ☆10Oct 2, 2025Updated 4 months ago
• nicko88 / HTFanControl

  View on GitHub
  4D Theater Wind Effect - DIY Home Theater Project
  ☆11Jun 16, 2024Updated last year
• achow101 / hardware-wallet-interface

  View on GitHub
  Bitcoin Hardware Wallet Interaction scripts
  ☆11Jan 30, 2026Updated 2 weeks ago
• hcrypt-project / yao

  View on GitHub
  Yao's Garbled Circuits (Java/AES)
  ☆10Dec 9, 2013Updated 12 years ago
• ptresearch / Pentest-Detections

  View on GitHub
  Repository for penetration testing tools
  ☆36Jan 17, 2020Updated 6 years ago
• krushikesh / RyzeTelloFirmware

  View on GitHub
  Firmware images for hacking, reverse engineering, and teardown of the Ryze / DJI / Intel Movidius Tello
  ☆10Dec 6, 2018Updated 7 years ago
• PrimeCounting / PrimeCounting

  View on GitHub
  ☆12Dec 31, 2022Updated 3 years ago
• jamii / texsearch

  View on GitHub
  A search index specialised for LaTeX equations. Developed for latexsearch.com.
  ☆17Jul 15, 2011Updated 14 years ago
• hochlist / hochlist.github.io

  View on GitHub
  http://hochlist.com - FAQ for getting started in Ho Chi Minh City
  ☆10Aug 25, 2018Updated 7 years ago
• thbaumbach / primecoin

  View on GitHub
  Primecoin High Performance
  ☆52May 22, 2018Updated 7 years ago
• UCBerkeleySETI / hyperseti

  View on GitHub
  A SETI / technosignature search code to find intelligent life beyond Earth
  ☆13Dec 15, 2025Updated 2 months ago
• driv3r / rusty_json_schema

  View on GitHub
  Gem wrapping jsonschema-rs in native extension via FFI
  ☆10Mar 23, 2022Updated 3 years ago
• JuliaSpace / GMAT.jl

  View on GitHub
  Run NASA's General Mission Analysis Tool (GMAT) from Julia
  ☆10Sep 3, 2020Updated 5 years ago
• techguy16 / umsktpy

  View on GitHub
  Python port of UMSKT
  ☆12May 5, 2024Updated last year
• BaseMax / CaptchaSolver

  View on GitHub
  A tiny program to solve the thousand captcha image for testing the quality of the OCR. (Optical character recognition)
  ☆13Aug 3, 2019Updated 6 years ago
• kudelskisecurity / ecdsa-dump-tls

  View on GitHub
  ☆12Feb 24, 2023Updated 2 years ago