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☆20Updated 7 years ago
- Collection of algorithm implementations for ICPC programming contests☆22Updated 7 years ago
- Analysis and generation of substitutions☆23Updated 2 years ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated 3 weeks ago
- Library code for programming contests.☆20Updated 9 years ago
- Training for programming contests☆35Updated 5 years ago
- SAT instance generator for SHA-1☆47Updated 4 years ago
- ☆127Updated 8 years ago
- ☆8Updated 5 years ago
- ☆49Updated 4 years ago
- ☆25Updated 9 years ago
- Team Code Reference for programming contests☆25Updated last year
- The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.☆68Updated 9 years ago
- Prewritten code library for programming contests☆32Updated 3 years ago
- finding set bits in large bitmaps☆15Updated 9 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- data files for comparing optimal transport algorithms☆9Updated 5 years ago
- A research platform and active library for generalised SAT solving☆33Updated 5 months ago
- Compiler intermediate language for static analysis.☆108Updated 6 years ago
- Python code and tests for the post 'Programming with Finite Fields'☆48Updated 4 years ago
- A SAT solver implementation in VHDL, team tussle☆20Updated 8 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆69Updated 8 years ago
- ☆10Updated 3 years ago
- ☆15Updated 8 months ago
- A simple VM to play with OSR in LLVM☆14Updated 7 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
- A simple CAS written in C.☆10Updated 10 years ago
- A Header-Only CDCL SAT Solver for Programming Contest☆67Updated 5 years ago
- SIMD recipes, for various platforms (collection of code snippets)☆48Updated 3 years ago