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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SHA256-SAT-BITCOIN☆24Apr 6, 2016Updated 10 years ago
- 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
- Dimacs CNF utilities☆20Jan 17, 2011Updated 15 years ago
- SAT-based, MILP, and belief propagation preimage attacks on SHA-256 and other cryptographic hash functions☆39Dec 8, 2022Updated 3 years ago
- OpenCL SAT solver☆16Jul 15, 2011Updated 14 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- SAT instance generator for SHA-1☆49Feb 12, 2021Updated 5 years ago
- An advanced SAT solver☆924Updated this week
- BitMEX to DTC gateway☆12Jan 2, 2019Updated 7 years ago
- PoolMiningEngine Core is the multi-currency pool-engine powering. Bitcoin, Bitcoin Cash, Litecoin, Monero, Dash, Groestlcoin and more...☆14Oct 20, 2017Updated 8 years ago
- ViaBTC Bitcoin Mining Pool Miner Agent☆70Dec 16, 2025Updated 4 months ago
- ABANDONED delineator of pseudonymous payment sets☆13Dec 12, 2024Updated last year
- ☆13Oct 7, 2019Updated 6 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Nov 20, 2023Updated 2 years ago
- CDCL SAT-solver for GPUs☆12May 5, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Boolean Expressions☆21Nov 5, 2018Updated 7 years ago
- StumpWM Debugger☆11Apr 19, 2025Updated last year
- Dimacs CNF utilities☆21Mar 28, 2026Updated 3 weeks ago
- Basic Polkadot/Substrate UI for interacting with a node. This is the main user-facing application, allowing access to all features availa…☆29Feb 21, 2022Updated 4 years ago
- Cache-Sensitive Skip List.☆22Mar 9, 2018Updated 8 years ago
- Multiplying... backward?☆14Jul 22, 2020Updated 5 years ago
- The dataset was used as a support to attack obfuscations. It is the largest obfuscated dataset, with realistic and various binaries and f…☆19Jan 15, 2026Updated 3 months ago
- David McClain's 'Actors' package for LispWorks☆13Dec 12, 2017Updated 8 years ago
- Convert an integer factorization problem into a boolean SATISFIABILITY problem.☆10Jan 14, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Basic implementation of Borromean ring signatures in Python, for learning☆17Dec 14, 2017Updated 8 years ago
- Array slices for Common Lisp☆11Mar 4, 2026Updated last month
- Utilities for numerical programming☆14Mar 4, 2026Updated last month
- Reproducible experimeents on UTF-8 validation using SIMD instructions☆41Aug 21, 2024Updated last year
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆12Sep 18, 2024Updated last year
- deepracer-for-codespaces is a starter repository from AI Castle School that lets you train AWS DeepRacer models right inside GitHub Codes…☆23Apr 26, 2025Updated 11 months ago
- hashkill password recovery tool☆12Feb 4, 2014Updated 12 years ago
- toy bitcoin script parser/evaluator/compiler/decoder☆16May 1, 2024Updated last year
- Python-based scraper / crawler for members and messages on bitcointalk.org☆34Aug 10, 2014Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Cross-platform boolean expression parser and interpreter☆36Dec 19, 2015Updated 10 years ago
- A toy symbolic execution engine, supporting the blog article ...☆18Sep 8, 2021Updated 4 years ago
- ☆15Dec 22, 2015Updated 10 years ago
- 👾 Run WebAssembly (WASM-4) games on small devices (like PyBadge)☆14Feb 22, 2024Updated 2 years ago
- CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…☆10May 19, 2022Updated 3 years ago
- Cryptocurrency mining pool written in C++ for speed. Supports Stratum.☆41Nov 2, 2020Updated 5 years ago
- NVIDIA GPU Computing SDK 4.2.9. Fixing some stupid compilation bugs in the make files of the projects.☆19Jul 3, 2012Updated 13 years ago