jheusser/satcoin external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

jheusser/satcoin

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/jheusser/satcoin)

Close

jheusser / satcoinView on GitHubMore

• External links
• Readme badge

SAT-based Bitcoin Mining

☆90Jan 20, 2022Updated 4 years ago

Alternatives and similar repositories for satcoin

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

• capiman / sha256-sat-bitcoin

  View on GitHub
  SHA256-SAT-BITCOIN
  ☆24Apr 6, 2016Updated 9 years ago
• econoint / ECONLB235

  View on GitHub
  A Codespace repo for ECON 235 & LB 235
  ☆27Jan 30, 2025Updated last year
• vegard / cnf-utils

  View on GitHub
  Dimacs CNF utilities
  ☆20Jan 17, 2011Updated 15 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
• qfiard / cuda-sat-solver

  View on GitHub
  An implementation of a SAT solver using the CUDA library
  ☆15Dec 23, 2017Updated 8 years ago
• vegard / clsat

  View on GitHub
  OpenCL SAT solver
  ☆16Jul 15, 2011Updated 14 years ago
• eyalr0 / AES-Cryptoanalysis

  View on GitHub
  ☆12Oct 7, 2019Updated 6 years ago
• msoos / cryptominisat

  View on GitHub
  An advanced SAT solver
  ☆913Feb 27, 2026Updated last week
• vegard / sha1-sat

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

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

  View on GitHub
  ABANDONED delineator of pseudonymous payment sets
  ☆13Dec 12, 2024Updated last year
• msoos / cnf-utils

  View on GitHub
  Dimacs CNF utilities
  ☆21Feb 12, 2025Updated last year
• jb55 / btcs

  View on GitHub
  toy bitcoin script parser/evaluator/compiler/decoder
  ☆16May 1, 2024Updated last year
• bitcrystal / bitcoinexchange-final

  View on GitHub
  zelles exchange fork + many updates + fully functionable market trading section added + recover email option + save money to wallet + des…
  ☆11Feb 22, 2016Updated 10 years ago
• mahkoh / trait-union

  View on GitHub
  Stack-allocated trait objects
  ☆19Feb 14, 2022Updated 4 years ago
• conp-solutions / mergesat

  View on GitHub
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Nov 20, 2023Updated 2 years ago
• clu8 / RainbowTable

  View on GitHub
  Rainbow table attack
  ☆17Jul 18, 2015Updated 10 years ago
• Champ1604 / Bot

  View on GitHub
  var config = { name: 'KTN Bot', userid: function () { return toId(this.name); }, group: '@', join: true, …
  ☆13Sep 29, 2015Updated 10 years ago
• gogogoutham / bitcointalk-scraper

  View on GitHub
  Python-based scraper / crawler for members and messages on bitcointalk.org
  ☆34Aug 10, 2014Updated 11 years ago
• libresilicon / magic-8.2

  View on GitHub
  Magic VLSI Layout Tool
  ☆21Oct 10, 2019Updated 6 years ago
• adsc-hls / fcuda

  View on GitHub
  The FCUDA CUDA-to-RTL compiler
  ☆21Jul 1, 2016Updated 9 years ago
• LaurenDM / AttackAESCTR

  View on GitHub
  ☆20Dec 13, 2019Updated 6 years ago
• cjdrake / boolexpr

  View on GitHub
  Boolean Expressions
  ☆21Nov 5, 2018Updated 7 years ago
• julioarruda / sample_codespaces_tablet

  View on GitHub
  ☆19Jun 7, 2021Updated 4 years ago
• silly-billy-64 / yesvnc

  View on GitHub
  Run a desktop enviornment in GitHub codespaces
  ☆10Jan 7, 2025Updated last year
• MiniblockchainProject / Cryptonite

  View on GitHub
  ☆25Aug 16, 2017Updated 8 years ago
• kste / keycommitment

  View on GitHub
  Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456
  ☆21Dec 2, 2021Updated 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
• quasis / crypto

  View on GitHub
  Small, fast, header only, zero dependency cryptographic library.
  ☆25Aug 3, 2023Updated 2 years ago
• pdillinger / fastfilter_cpp

  View on GitHub
  Fast Approximate Membership Filters (C++)
  ☆24Apr 27, 2021Updated 4 years ago
• maxtuno / slime-sat-solver

  View on GitHub
  A Free World Class High Performance SAT Solver
  ☆21Jul 12, 2021Updated 4 years ago
• shadow / shadow-plugin-bitcoin

  View on GitHub
  A Shadow plug-in that runs the Bitcoin Satoshi reference software
  ☆25Feb 20, 2020Updated 6 years ago
• Sea-of-BTC / Bitcoin-Trading-Client

  View on GitHub
  Bitcoin trading and automated trading made easy and open-source!
  ☆33Dec 12, 2014Updated 11 years ago
• lindig / lipsum

  View on GitHub
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆33Nov 7, 2018Updated 7 years ago
• flippingbits / cssl

  View on GitHub
  Cache-Sensitive Skip List.
  ☆22Mar 9, 2018Updated 8 years ago
• fpgaminer / fpgaminer-vanitygen

  View on GitHub
  Open Source Bitcoin Vanity Address Generation on FPGAs
  ☆33Jan 29, 2022Updated 4 years ago
• trailofbits / anselm

  View on GitHub
  Detect patterns of bad behavior in function calls
  ☆25Jul 21, 2020Updated 5 years ago
• albertobsd / keysubtracter

  View on GitHub
  Bitcoin and Altcoins Publickey subtracter
  ☆54Jun 26, 2024Updated last year
• serge-sans-paille / i8mm

  View on GitHub
  Various implementation of byte matrix multiplication
  ☆26Jan 10, 2025Updated last year