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
• revec / llvm-revec
  Revectorization passes integrated into the LLVM compiler infrastructure
  ☆29Updated 6 years ago
• kste / haraka
  Haraka is a secure and efficient short-input hash function.
  ☆58Updated 8 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
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 8 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
  ☆78Updated 5 years ago
• mjosaarinen / hila5
  HILA5 KEM/DEM. Reference and Optimized Implementations + NIST PQC Submission Documents
  ☆17Updated 7 years ago
• aabc / equihash-zcash-c
  Equihash solver port from C++ to C for Zcash
  ☆33Updated 8 years ago
• catid / snowshoe
  Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C
  ☆63Updated 7 years ago
• floodyberry / supercop
  Mirror of SUPERCOP, the "System for Unified Performance Evaluation Related to Cryptographic Operations and Primitives"
  ☆102Updated 8 years ago
• momalab / cryptoleq
  Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.
  ☆32Updated last year
• MatthewLM / cbitcoin
  A low-level bitcoin library written in standard C.
  ☆119Updated 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
• trevphil / cryptosym
  SAT-based, MILP, and belief propagation preimage attacks on SHA-256 and other cryptographic hash functions
  ☆39Updated 2 years ago
• evoasm / evoasm.rb
  An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine
  ☆92Updated 6 years ago
• tbuktu / libntru
  C Implementation of NTRUEncrypt
  ☆216Updated 4 years ago
• Zerocoin / libzerocoin
  Zerocoin: C++ lib for anonymous extension to bitcoin
  ☆177Updated 5 years ago
• tpoeppelmann / newhope
  ☆100Updated 9 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• bcrypto / bee2
  ☆14Updated 8 years ago
• khovratovich / equihash
  Equihash: memory-hard PoW with fast verification
  ☆135Updated 9 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 4 years ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆70Updated 10 years ago
• defeo / ss-isogeny-software
  Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"
  ☆89Updated 6 years ago
• morpav / zceq_solver
  CPU solver for Zcash's variant of Equihash problem
  ☆22Updated 8 years ago
• nayuki / Bitcoin-Cryptography-Library
  Nayuki's implementation of cryptographic primitives used in Bitcoin.
  ☆145Updated 4 years ago
• Acovea / libacovea
  ACOVEA (Analysis of Compiler Options via Evolutionary Algorithm) implements a genetic algorithm to find the "best" options for compiling …
  ☆75Updated 7 years ago
• dpt / Aha
  A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren
  ☆58Updated 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…
  ☆37Updated 7 years ago