Alternatives and similar repositories for conv64

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

• okazymyrov / sbox
  Analysis and generation of substitutions
  ☆23Updated 3 years ago
• ftiasch / acm-icpc
  ☆113Updated 5 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• fredrik-johansson / flint
  My copy of FLINT -- please use https://github.com/flintlib/flint/ for development
  ☆82Updated 2 weeks ago
• delcypher / nsolv
  Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
  ☆12Updated 12 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆70Updated 9 years ago
• andralex / MedianOfNinthers
  ☆49Updated 5 years ago
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆60Updated 2 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
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• CharithYMendis / Helium
  Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code
  ☆47Updated 9 years ago
• nikgaevoy / SPbTrueSkill
  An improved rating system for team competitions.
  ☆9Updated 5 years ago
• togatoga / togasat
  A Header-Only CDCL SAT Solver for Programming Contest
  ☆67Updated 5 years ago
• j2kun / finite-fields
  Python code and tests for the post 'Programming with Finite Fields'
  ☆48Updated 5 years ago
• wizykowski / miller-rabin
  This repository contains efficient implementation of the Miller-Rabin primality test for x86-64
  ☆34Updated 5 years ago
• iaikkrypto / lineartrails
  Tool to automatically search for linear characteristics
  ☆39Updated 9 years ago
• regehr / ub-canaries
  collection of C/C++ programs that try to get compilers to exploit undefined behavior
  ☆179Updated 6 years ago
• cr-marcstevens / m4gb
  M4GB: Efficient Groebner Basis algorithm
  ☆55Updated 6 years ago
• anroysko / contestlib
  ☆10Updated 3 years ago
• leegao / float-hacks
  Floating Point Hacks
  ☆168Updated 7 years ago
• sumith1896 / tusSAT
  A SAT solver implementation in VHDL, team tussle
  ☆20Updated 9 years ago
• cilkplus / llvm
  The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.
  ☆69Updated 9 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆221Updated 2 years ago
• adityaramesh / io_benchmark
  Comparison of IO methods for OS X and Linux.
  ☆14Updated 11 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 3 years ago
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆32Updated last month
• regehr / rb_tree_demo
  code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896
  ☆18Updated 6 years ago
• cr-marcstevens / dblpbibtex
  DBLP BibTeX - bibtex wrapper for automatic DBLP & IACR ePrint downloads
  ☆19Updated 2 years ago
• passagemath / upstream-LiDIA
  LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …
  ☆30Updated 2 months ago