quasisphere / conv64Links
Exact 64-bit convolution algorithm
☆15Updated 9 years ago
Alternatives and similar repositories for conv64
Users that are interested in conv64 are comparing it to the libraries listed below
Sorting:
- A tale of ancient KTH history☆20Updated 8 years ago
- Analysis and generation of substitutions☆23Updated 3 years ago
- Frobenius Additive Fourier Transform☆13Updated 5 months ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- Library code for programming contests.☆20Updated 10 years ago
- Training for programming contests☆35Updated 5 years ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated this week
- Collection of algorithm implementations for ICPC programming contests☆22Updated 7 years ago
- 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
- ☆126Updated 8 years ago
- data files for comparing optimal transport algorithms☆9Updated 5 years ago
- A simple CAS written in C.☆10Updated 10 years ago
- Team Code Reference for programming contests☆25Updated last year
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆12Updated 12 years ago
- Prewritten code library for programming contests☆32Updated 3 years ago
- 🚀 Sum of the primes below x☆38Updated 3 years ago
- ☆24Updated 9 years ago
- A research platform and active library for generalised SAT solving☆32Updated 2 weeks ago
- Solutions to problems from several OJ (leetcode, Codeforces, Project Euler, SPOJ, Timus, Topcoder, UVa).☆43Updated this week
- 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 8 years ago
- CodeBook for Team BCW☆111Updated 4 years ago
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆13Updated last year
- A library designed to improve your competitive programming performance.☆29Updated 4 years ago
- ☆49Updated 5 years ago
- ☆16Updated last year
- The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.☆68Updated 9 years ago
- A SAT solver implementation in VHDL, team tussle☆20Updated 9 years ago
- プログラミングコンテスト用のライブラリ☆105Updated last year
- Parse sample tests of Codeforces competitions, and generate tests automatically.☆138Updated 3 years ago
- ☆8Updated 6 years ago