quasisphere / conv64
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
- A tale of ancient KTH history☆18Updated 7 years ago
- Library code for programming contests.☆20Updated 9 years ago
- Training for programming contests☆35Updated 5 years ago
- Analysis and generation of substitutions☆23Updated 2 years ago
- Collection of algorithm implementations for ICPC programming contests☆23Updated 7 years ago
- Team Code Reference for programming contests☆25Updated last year
- An improved rating system for team competitions.☆9Updated 4 years ago
- ☆127Updated 8 years ago
- Cheat sheet for ACM-ICPC. In memory of those good old days.☆166Updated 6 years ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated this week
- A simple CAS written in C.☆10Updated 9 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆68Updated 8 years ago
- Python script for filtering Codeforces problems by division and index☆11Updated 9 years ago
- A library designed to improve your competitive programming performance.☆29Updated 4 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
- A research platform and active library for generalised SAT solving☆33Updated 3 months ago
- Python code and tests for the post 'Programming with Finite Fields'☆48Updated 4 years ago
- Algorithmic code snippets, mainly for programming contests☆44Updated 2 months ago
- CodeBook for Team BCW☆110Updated 3 years ago
- A SAT solver implementation in VHDL, team tussle☆20Updated 8 years ago
- SAT instance generator for SHA-1☆47Updated 3 years ago
- ☆115Updated 10 months ago
- A C++ library for solving problems on Project Euler☆37Updated 2 weeks ago
- Handbook of geometry for competitive programmers☆82Updated 6 years ago
- Prewritten code library for programming contests☆31Updated 3 years ago
- data files for comparing optimal transport algorithms☆9Updated 5 years ago
- ☆10Updated 2 years ago
- ☆49Updated 4 years ago