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☆24Updated 8 years ago
- Analysis and generation of substitutions☆25Updated 2 months ago
- Training for programming contests☆34Updated 6 years ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- Frobenius Additive Fourier Transform☆13Updated 11 months ago
- ☆24Updated 10 years ago
- A python script to crawl problems in Codeforces☆19Updated 6 years ago
- A library designed to improve your competitive programming performance.☆29Updated 5 years ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated this week
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Updated 13 years ago
- Implementing a web server in a single printf() call☆113Updated 11 years ago
- Cheat sheet for ACM-ICPC. In memory of those good old days.☆171Updated 7 years ago
- CodeBook for Team BCW☆111Updated 4 years ago
- Prewritten code library for programming contests☆32Updated 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 9 years ago
- Team Code Reference for programming contests☆26Updated 2 years ago
- ☆125Updated 9 years ago
- A research platform and active library for generalised SAT solving☆33Updated 6 months ago
- This repository contains efficient implementation of the Miller-Rabin primality test for x86-64☆34Updated 5 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- Collection of algorithm implementations for ICPC programming contests☆22Updated 8 years ago
- A Header-Only CDCL SAT Solver for Programming Contest☆73Updated 6 years ago
- ☆50Updated 5 years ago
- 🚀 Fast prime counting function library☆344Updated this week
- An interface to SAT solver tools (like minisat)☆62Updated 3 weeks ago
- C library to compute the Hamming weight of arrays☆51Updated 7 years ago
- ☆17Updated 9 years ago
- Automatic differentiation for NumPy☆42Updated 12 years ago
- Python code and tests for the post 'Programming with Finite Fields'☆48Updated 5 years ago
- Low-Level Data Structure - efficient data structures, and fast data access in the 3.x/4.x/5.x/6.x kernel☆120Updated 2 years ago