Alternatives and similar repositories for conv64

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

• kth-competitive-programming / tinykactl
  A tale of ancient KTH history
  ☆24Updated 8 years ago
• okazymyrov / sbox
  Analysis and generation of substitutions
  ☆25Updated 3 months ago
• TimonKnigge / Competitive-Programming
  Training for programming contests
  ☆34Updated 6 years ago
• zimpha / acm-icpc
  ☆24Updated 10 years ago
• ftiasch / acm-icpc
  ☆114Updated 6 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• delcypher / nsolv
  Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
  ☆11Updated 13 years ago
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated 7 months ago
• togatoga / togasat
  A Header-Only CDCL SAT Solver for Programming Contest
  ☆73Updated 6 years ago
• SnapDragon64 / ContestLibrary
  Library code for programming contests.
  ☆20Updated 10 years ago
• TimonKnigge / TCR
  Team Code Reference for programming contests
  ☆26Updated 2 years ago
• dieram3 / competitive-programming-library
  A library designed to improve your competitive programming performance.
  ☆29Updated 5 years ago
• fredrik-johansson / flint
  My copy of FLINT -- please use https://github.com/flintlib/flint/ for development
  ☆82Updated last week
• foreverbell / acm-icpc-cheat-sheet
  Cheat sheet for ACM-ICPC. In memory of those good old days.
  ☆172Updated 7 years ago
• niklasb / contest-algos
  ☆126Updated 9 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
• leegao / float-hacks
  Floating Point Hacks
  ☆169Updated 8 years ago
• fast-crypto-lab / Frobenius_AFFT
  Frobenius Additive Fourier Transform
  ☆13Updated last year
• ecnerwala / contest-programming
  DEAD - An archive of my solutions. I'm no longer sure it's wise to publish everything, so I won't be updating this.
  ☆14Updated 9 years ago
• yosupo06 / Algorithm
  プログラミングコンテスト用のライブラリ
  ☆105Updated last year
• j2kun / finite-fields
  Python code and tests for the post 'Programming with Finite Fields'
  ☆48Updated 5 years ago
• Eronana / CodeforcesCrawler
  A python script to crawl problems in Codeforces
  ☆19Updated 7 years ago
• Hikari9 / UVa
  ☆17Updated 9 years ago
• PeterLuschny / Fast-Factorial-Functions
  Swing, divide and conquer the factorial!
  ☆81Updated 3 years ago
• Laakeri / contestlib
  Collection of algorithm implementations for ICPC programming contests
  ☆22Updated 8 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆71Updated 9 years ago
• jaamesd / BucketCompressionTrick
  Cool trick to store 4 5-bit values in one 16-bit value.
  ☆285Updated 5 years ago
• AlexeyDmitriev / spcppl
  Prewritten code library for programming contests
  ☆32Updated 4 years ago
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆62Updated last month
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago