wizykowski / miller-rabin
This repository contains efficient implementation of the Miller-Rabin primality test for x86-64
☆32Updated 5 years ago
Alternatives and similar repositories for miller-rabin:
Users that are interested in miller-rabin are comparing it to the libraries listed below
- Compute numbers to high precision using the YMP bignum library!☆23Updated 8 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 last year
- The Pseudo-Boolean Solver MiniSat+☆27Updated 12 years ago
- Zobrist hashing in C☆13Updated 8 years ago
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 years ago
- Automatically exported from code.google.com/p/libhhash☆32Updated 9 years ago
- Superfast Line Counter☆50Updated 3 years ago
- A basic implementation of the Small Primes Number-Theoretic Transform (NTT) multiplication algorithm.☆24Updated 7 years ago
- ACOVEA (Analysis of Compiler Options via Evolutionary Algorithm) implements a genetic algorithm to find the "best" options for compiling …☆75Updated 7 years ago
- A word-aligned integer compression algorithm.☆12Updated 7 months ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 5 years ago
- Vectorized version of the PCG random number generator☆76Updated 6 years ago
- Comparison of IO methods for OS X and Linux.☆14Updated 10 years ago
- 🚀 Sum of the primes below x☆37Updated 2 years ago
- Vectorized xorshift and xoroshiro uniform/binomial RNGs☆9Updated 8 years ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated this week
- A detailed michroarchitectural x86 simulator☆62Updated 7 years ago
- Minimal implementation of the OpenMP runtime library.☆11Updated 3 years ago
- Boolean Expressions☆20Updated 6 years ago
- Cache Oblivious Lookahead Arrays☆27Updated 11 years ago
- Quick sort code using AVX2 instructions☆68Updated 7 years ago
- A SAT solver implementation in VHDL, team tussle☆20Updated 8 years ago
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆31Updated last month
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- David M. Gay's floating-point conversion library☆33Updated 14 years ago
- C library to compute the Hamming weight of arrays☆45Updated 6 years ago
- reverse engineering branch predictors☆17Updated 8 years ago
- 27-Queens Puzzle: Massively Parellel Enumeration and Solution Counting☆80Updated 7 years ago
- arbitrary precision arithmetic library☆42Updated 6 years ago