quasisphere / conv64Links
Exact 64-bit convolution algorithm
☆15Updated 8 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
- Library code for programming contests.☆20Updated 10 years ago
- Collection of algorithm implementations for ICPC programming contests☆22Updated 7 years ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated last week
- Team Code Reference for programming contests☆25Updated last year
- ☆8Updated 6 years ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- Training for programming contests☆35Updated 5 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆12Updated 12 years ago
- Cheat sheet for ACM-ICPC. In memory of those good old days.☆167Updated 7 years ago
- An improved rating system for team competitions.☆9Updated 4 years ago
- ☆127Updated 8 years ago
- A simple CAS written in C.☆10Updated 10 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆88Updated 2 weeks ago
- A simple VM to play with OSR in LLVM☆14Updated 7 years ago
- 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
- プログラミングコンテスト用のライブラリ☆105Updated last year
- M4GB: Efficient Groebner Basis algorithm☆55Updated 6 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 4 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
- Library of implementations for competitive programming☆117Updated this week
- ☆16Updated 11 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- 🚀 Sum of the primes below x☆38Updated 2 years ago
- A Header-Only CDCL SAT Solver for Programming Contest☆67Updated 5 years ago
- surgical precision JIT compilers☆121Updated 7 years ago
- Fast Simple Sudoku Solver 2☆16Updated 5 years ago
- GLUT Kleinian group visualizer☆26Updated 11 years ago
- Successor to PolyBoRi☆19Updated 2 weeks ago
- Prewritten code library for programming contests☆32Updated 3 years ago