SHA256-SAT-BITCOIN
☆24Apr 6, 2016Updated 10 years ago
Alternatives and similar repositories for sha256-sat-bitcoin
Users that are interested in sha256-sat-bitcoin are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SAT instance generator for SHA-1☆52Feb 12, 2021Updated 5 years ago
- Dimacs CNF utilities☆20Jan 17, 2011Updated 15 years ago
- Rack middleware which embeds small images as base64 data-url in css/html files if the browser supports it☆16Feb 2, 2018Updated 8 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…☆27Jun 3, 2023Updated 3 years ago
- Tool to automatically search for linear characteristics☆39Jan 27, 2016Updated 10 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- RuCTF 2016 repository☆16Nov 16, 2019Updated 6 years ago
- ☆12Nov 16, 2019Updated 6 years ago
- SAT-based Bitcoin Mining☆90Jan 20, 2022Updated 4 years ago
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 7 years ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆85Aug 24, 2026Updated 2 weeks ago
- Multiplayer tron game☆13Nov 18, 2015Updated 10 years ago
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆12Sep 18, 2024Updated last year
- eloipool for litecoin (by ltcmine)☆17Mar 3, 2014Updated 12 years ago
- An implementation of a SAT solver using the CUDA library☆15Dec 23, 2017Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆14Jun 30, 2022Updated 4 years ago
- A twisted version of J written in F#☆10Sep 28, 2017Updated 8 years ago
- OpenCL SAT solver☆16Jul 15, 2011Updated 15 years ago
- A framework for using an Android Wear watch as a remote controller.☆16Sep 29, 2019Updated 6 years ago
- AIO Stratum mining server for various coins☆48Sep 20, 2017Updated 8 years ago
- Generator of "nothing-up-my-sleeve" constants☆24Jul 3, 2015Updated 11 years ago
- Demo implementation of litecoin mining pool on Stratum protocol☆17May 25, 2013Updated 13 years ago
- Reference Implementation of the Strata Bridge☆15Updated this week
- Encoding different problems into Boolean satisfiability☆12Sep 29, 2022Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- 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 11 years ago
- k version 3 Language Interpreter in C#☆16Jul 1, 2026Updated 2 months ago
- The matching routine for interologs identification based on co-evolution☆11Jul 17, 2018Updated 8 years ago
- Improved contact predictions using the recognition of protein like contact patterns.☆14May 18, 2018Updated 8 years ago
- ☆13Jan 10, 2025Updated last year
- A modular Rust implementation of the static version of the ICE-FROST signature scheme.☆18Apr 19, 2024Updated 2 years ago
- A concise programming language that is fun to use☆16Dec 24, 2015Updated 10 years ago
- Check if an IP is listed on the most used RBL☆23Aug 15, 2018Updated 8 years ago
- Successor to PolyBoRi☆24Sep 1, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆28Aug 28, 2026Updated last week
- Visual Studio Code support for J language☆14Nov 21, 2025Updated 9 months ago
- Quick J reference for Emacs☆18Feb 17, 2017Updated 9 years ago
- Tools for creating binary tarballs☆16Aug 23, 2021Updated 5 years ago
- ☆13Nov 10, 2021Updated 4 years ago
- Kind of M-x rgrep adapted for Org mode☆16Mar 10, 2014Updated 12 years ago
- Distributed smart property software☆41Oct 15, 2012Updated 13 years ago