Alternatives and similar repositories for satcoin:

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

• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆47Updated 4 years ago
• vsklad / cgen
  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…
  ☆25Updated last year
• aabc / equihash-zcash-c
  Equihash solver port from C++ to C for Zcash
  ☆33Updated 7 years ago
• MatthewLM / cbitcoin
  A low-level bitcoin library written in standard C.
  ☆118Updated 8 years ago
• momalab / cryptoleq
  Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.
  ☆30Updated 7 months ago
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated last year
• dpt / Aha
  Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren
  ☆58Updated 2 years ago
• vegard / cnf-utils
  Dimacs CNF utilities
  ☆20Updated 14 years ago
• khovratovich / equihash
  Equihash: memory-hard PoW with fast verification
  ☆130Updated 8 years ago
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated last week
• sumith1896 / tusSAT
  A SAT solver implementation in VHDL, team tussle
  ☆20Updated 8 years ago
• jgarzik / moxiebox
  Deterministic execution virtual machine sandbox for Moxie arch
  ☆74Updated 4 years ago
• nayuki / Bitcoin-Cryptography-Library
  Nayuki's implementation of cryptographic primitives used in Bitcoin.
  ☆143Updated 3 years ago
• dave-andersen / cudapts
  An Nvidia-based miner for the Protoshares (PTS) cryptocurrency
  ☆38Updated 11 years ago
• dansarie / sboxgates
  Program for finding low gate count implementations of S-boxes.
  ☆39Updated 5 months ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• floodyberry / blake2b-opt
  Optimized, portable implementations of BLAKE2b
  ☆24Updated 9 years ago
• combinatorylogic / soc
  An experimental System-on-Chip with a custom compiler toolchain.
  ☆60Updated 5 years ago
• kjson / pyfactor
  General number field sieve for python
  ☆18Updated 9 years ago
• floodyberry / poly1305-opt
  Optimized implementations of Poly1305, a fast message-authentication-code
  ☆44Updated 10 years ago
• maxtuno / slime-sat-solver
  A Free World Class High Performance SAT Solver
  ☆20Updated 3 years ago
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆107Updated 5 years ago
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆100Updated last year
• str4d / zcash-pow
  The proof-of-work algorithm for Zcash
  ☆83Updated 7 years ago
• CRGreathouse / PARI-extensions
  Material for PARI/GP: new functions, some scripts, and syntax highlighting.
  ☆11Updated last year
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆69Updated 8 years ago
• petersn / autosat
  Library for creation of SAT instances.
  ☆19Updated 2 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 8 months ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 8 years ago
• j2kun / elliptic-curves-rationals
  Code for the post "Elliptic Curves as Python Objects" implementing elliptic curve point addition over rational numbers.
  ☆20Updated 4 years ago