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
  ☆49Updated 4 years ago
• momalab / cryptoleq
  Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.
  ☆30Updated last year
• 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 2 years ago
• kste / haraka
  Haraka is a secure and efficient short-input hash function.
  ☆57Updated 7 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• aabc / equihash-zcash-c
  Equihash solver port from C++ to C for Zcash
  ☆33Updated 7 years ago
• trevphil / cryptosym
  SAT-based, MILP, and belief propagation preimage attacks on SHA-256 and other cryptographic hash functions
  ☆39Updated 2 years ago
• MatthewLM / cbitcoin
  A low-level bitcoin library written in standard C.
  ☆118Updated 9 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 4 years ago
• dave-andersen / cudapts
  An Nvidia-based miner for the Protoshares (PTS) cryptocurrency
  ☆38Updated 11 years ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 8 years ago
• kjson / pyfactor
  General number field sieve for python
  ☆18Updated 10 years ago
• revec / llvm-revec
  Revectorization passes integrated into the LLVM compiler infrastructure
  ☆30Updated 6 years ago
• catid / snowshoe
  Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C
  ☆63Updated 7 years ago
• tromp / cuckoo
  a memory-bound graph-theoretic proof-of-work system
  ☆836Updated 3 months ago
• pdinges / python-schoof
  Python implementation of Schoof's algorithm for counting the points on elliptic curves over finite fields
  ☆43Updated 6 years ago
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆32Updated 2 months ago
• khovratovich / equihash
  Equihash: memory-hard PoW with fast verification
  ☆134Updated 8 years ago
• gurgeh / CodeSpace
  Exploring the space of all possible programs
  ☆27Updated 11 years ago
• kframework / c-semantics
  Semantics of C in K
  ☆315Updated 3 years ago
• vscrypto / ringlwe
  A Practical Ring Learning With Errors (RingLWE) Implementation containing New Hope and Peikert reconciliation for Prime and Power-of-2 ca…
  ☆36Updated 7 years ago
• CRGreathouse / PARI-extensions
  Material for PARI/GP: new functions, some scripts, and syntax highlighting.
  ☆11Updated last year
• defeo / ss-isogeny-software
  Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"
  ☆89Updated 6 years ago
• jgarzik / moxiebox
  Deterministic execution virtual machine sandbox for Moxie arch
  ☆74Updated 5 years ago
• davewathaverford / the-omega-project
  Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…
  ☆72Updated 4 years ago
• nayuki / Bitcoin-Cryptography-Library
  Nayuki's implementation of cryptographic primitives used in Bitcoin.
  ☆143Updated 3 years ago
• str4d / zcash-pow
  The proof-of-work algorithm for Zcash
  ☆83Updated 7 years ago
• Zerocoin / libzerocoin
  Zerocoin: C++ lib for anonymous extension to bitcoin
  ☆177Updated 5 years ago
• jcbeyler / wasm-to-llvm-prototype
  s-expression → internal IR → LLVM IR
  ☆46Updated 9 years ago
• Mysticial / ProtoNTT
  A basic implementation of the Small Primes Number-Theoretic Transform (NTT) multiplication algorithm.
  ☆24Updated 7 years ago