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☆21Updated 8 years ago
- Analysis and generation of substitutions☆23Updated 3 years ago
- Frobenius Additive Fourier Transform☆13Updated 8 months ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- Training for programming contests☆35Updated 5 years ago
- This repository contains efficient implementation of the Miller-Rabin primality test for x86-64☆35Updated 5 years ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated last week
- ☆24Updated 9 years ago
- task description, testdata, solutions etc...☆20Updated 9 years ago
- An interface to SAT solver tools (like minisat)☆62Updated 2 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆12Updated 12 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
- Python code and tests for the post 'Programming with Finite Fields'☆48Updated 5 years ago
- ☆114Updated 5 years ago
- A research platform and active library for generalised SAT solving☆33Updated 3 months ago
- A SAT solver implementation in VHDL, team tussle☆21Updated 9 years ago
- ☆50Updated 5 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
- Collection of algorithm implementations for ICPC programming contests☆22Updated 7 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 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
- 🚀 Fast prime counting function library☆337Updated 2 months ago
- Prewritten code library for programming contests☆32Updated 3 years ago
- Cheat sheet for ACM-ICPC. In memory of those good old days.☆168Updated 7 years ago
- Team Code Reference for programming contests☆25Updated 2 years ago
- M4GB: Efficient Groebner Basis algorithm☆58Updated 6 years ago
- Cool trick to store 4 5-bit values in one 16-bit value.☆285Updated 5 years ago
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆184Updated 6 years ago
- Library code for programming contests.☆20Updated 10 years ago
- A library designed to improve your competitive programming performance.☆29Updated 4 years ago