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
• 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
• MatthewLM / cbitcoin
  A low-level bitcoin library written in standard C.
  ☆118Updated 9 years ago
• kste / haraka
  Haraka is a secure and efficient short-input hash function.
  ☆57Updated 8 years ago
• jgarzik / moxiebox
  Deterministic execution virtual machine sandbox for Moxie arch
  ☆76Updated 5 years ago
• trevphil / cryptosym
  SAT-based, MILP, and belief propagation preimage attacks on SHA-256 and other cryptographic hash functions
  ☆39Updated 2 years ago
• momalab / cryptoleq
  Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.
  ☆32Updated last year
• aabc / equihash-zcash-c
  Equihash solver port from C++ to C for Zcash
  ☆33Updated 8 years ago
• dave-andersen / cudapts
  An Nvidia-based miner for the Protoshares (PTS) cryptocurrency
  ☆38Updated 11 years ago
• nayuki / Bitcoin-Cryptography-Library
  Nayuki's implementation of cryptographic primitives used in Bitcoin.
  ☆144Updated 4 years ago
• catid / snowshoe
  Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C
  ☆63Updated 7 years ago
• evoasm / evoasm.rb
  An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine
  ☆92Updated 6 years ago
• jcbeyler / wasm-to-llvm-prototype
  s-expression → internal IR → LLVM IR
  ☆46Updated 9 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 4 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 8 years ago
• floodyberry / supercop
  Mirror of SUPERCOP, the "System for Unified Performance Evaluation Related to Cryptographic Operations and Primitives"
  ☆101Updated 8 years ago
• tbuktu / libntru
  C Implementation of NTRUEncrypt
  ☆214Updated 4 years ago
• Zerocoin / libzerocoin
  Zerocoin: C++ lib for anonymous extension to bitcoin
  ☆177Updated 5 years ago
• str4d / zcash-pow
  The proof-of-work algorithm for Zcash
  ☆83Updated 7 years ago
• revec / llvm-revec
  Revectorization passes integrated into the LLVM compiler infrastructure
  ☆30Updated 6 years ago
• khovratovich / equihash
  Equihash: memory-hard PoW with fast verification
  ☆134Updated 9 years ago
• tum-i4 / indistinguishability-obfuscation
  Implementation of indistinguishability obfuscation constructions from scientific literature
  ☆49Updated 10 years ago
• dpt / Aha
  A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren
  ☆58Updated 3 years ago
• defeo / ss-isogeny-software
  Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"
  ☆89Updated 6 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
• NVlabs / xmp
  CUDA accelerated(X) Multi-Precision library
  ☆92Updated 9 years ago
• mjosaarinen / hila5
  HILA5 KEM/DEM. Reference and Optimized Implementations + NIST PQC Submission Documents
  ☆17Updated 7 years ago
• tromp / cuckoo
  a memory-bound graph-theoretic proof-of-work system
  ☆837Updated 4 months ago
• azonenberg / antikernel
  The Antikernel operating system project
  ☆122Updated 5 years ago