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
• kste / haraka
  Haraka is a secure and efficient short-input hash function.
  ☆58Updated 8 years ago
• catid / snowshoe
  Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C
  ☆63Updated 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.
  ☆119Updated 9 years ago
• momalab / cryptoleq
  Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.
  ☆32Updated last year
• CRGreathouse / PARI-extensions
  Material for PARI/GP: new functions, some scripts, and syntax highlighting.
  ☆11Updated 2 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
• aabc / equihash-zcash-c
  Equihash solver port from C++ to C for Zcash
  ☆33Updated 8 years ago
• mjosaarinen / hila5
  HILA5 KEM/DEM. Reference and Optimized Implementations + NIST PQC Submission Documents
  ☆17Updated 7 years ago
• defeo / ss-isogeny-software
  Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"
  ☆89Updated 6 years ago
• nayuki / Bitcoin-Cryptography-Library
  Nayuki's implementation of cryptographic primitives used in Bitcoin.
  ☆146Updated 4 years ago
• mjosaarinen / tiny_sha3
  Very small, readable implementation of the SHA3 hash function.
  ☆221Updated 9 years ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 9 years ago
• pdinges / python-schoof
  Python implementation of Schoof's algorithm for counting the points on elliptic curves over finite fields
  ☆43Updated 6 years ago
• str4d / zcash-pow
  The proof-of-work algorithm for Zcash
  ☆83Updated 7 years ago
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated 5 months ago
• petersn / autosat
  Library for creation of SAT instances.
  ☆23Updated 3 years ago
• jcbeyler / wasm-to-llvm-prototype
  s-expression → internal IR → LLVM IR
  ☆46Updated 9 years ago
• cesaro / dpu
  Dynamic analysis of multithreaded C programs
  ☆13Updated 5 years ago
• dpt / Aha
  A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren
  ☆58Updated 3 years ago
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated 2 years ago
• mangpo / greenthumb
  ☆90Updated 3 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆71Updated 9 years ago
• tromp / equihash
  multi-parameter Equihash proof-of-work multi-threaded C solvers
  ☆155Updated 5 years ago
• khovratovich / equihash
  Equihash: memory-hard PoW with fast verification
  ☆135Updated 9 years ago
• bcrypto / bee2
  ☆14Updated 8 years ago
• vegard / cnf-utils
  Dimacs CNF utilities
  ☆20Updated 14 years ago