Alternatives and similar repositories for satcoin:

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

• 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
• MatthewLM / cbitcoin
  A low-level bitcoin library written in standard C.
  ☆118Updated 8 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆47Updated 3 years ago
• momalab / cryptoleq
  Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.
  ☆28Updated 4 months ago
• catid / snowshoe
  Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C
  ☆63Updated 6 years ago
• dave-andersen / cudapts
  An Nvidia-based miner for the Protoshares (PTS) cryptocurrency
  ☆38Updated 11 years ago
• revec / llvm-revec
  Revectorization passes integrated into the LLVM compiler infrastructure
  ☆31Updated 5 years ago
• khovratovich / equihash
  Equihash: memory-hard PoW with fast verification
  ☆129Updated 8 years ago
• aabc / equihash-zcash-c
  Equihash solver port from C++ to C for Zcash
  ☆33Updated 7 years ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 8 years ago
• Zerocoin / libzerocoin
  Zerocoin: C++ lib for anonymous extension to bitcoin
  ☆177Updated 4 years ago
• floodyberry / supercop
  Mirror of SUPERCOP, the "System for Unified Performance Evaluation Related to Cryptographic Operations and Primitives"
  ☆99Updated 7 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 5 years ago
• jancarlsson / snarkfront
  a C++ embedded domain specific language for zero knowledge proofs
  ☆59Updated 8 years ago
• jgarzik / moxiebox
  Deterministic execution virtual machine sandbox for Moxie arch
  ☆74Updated 4 years ago
• str4d / zcash-pow
  The proof-of-work algorithm for Zcash
  ☆82Updated 7 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…
  ☆71Updated 3 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆68Updated 8 years 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
• jancarlsson / snarklib
  a C++ template library for zero knowledge proofs
  ☆49Updated 9 years ago
• kste / haraka
  Haraka is a secure and efficient short-input hash function.
  ☆53Updated 7 years ago
• floodyberry / blake2b-opt
  Optimized, portable implementations of BLAKE2b
  ☆24Updated 8 years ago
• capiman / sha256-sat-bitcoin
  SHA256-SAT-BITCOIN
  ☆24Updated 8 years ago
• CTSRD-CHERI / beri
  The BERI and CHERI processor and hardware platform
  ☆47Updated 7 years ago
• Mysticial / ProtoNTT
  A basic implementation of the Small Primes Number-Theoretic Transform (NTT) multiplication algorithm.
  ☆23Updated 7 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 6 years ago
• defeo / ss-isogeny-software
  Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"
  ☆90Updated 5 years ago
• giannitedesco / cola
  Cache Oblivious Lookahead Arrays
  ☆27Updated 11 years ago