girving / pentagoLinks
A massively parallel pentago solver
☆52Updated last month
Alternatives and similar repositories for pentago
Users that are interested in pentago are comparing it to the libraries listed below
Sorting:
- interesting solutions to project euler problems☆84Updated 10 years ago
- metamath proof enumerators and other things☆92Updated 2 months ago
- A small tool to convert math equations written in LaTeX to equivalent C-Code.☆53Updated last year
- Sigmoid Numbers backed by IEEE Floats☆17Updated 8 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- World's dumbest fuzzer☆53Updated 2 years ago
- The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…☆28Updated 2 months ago
- Partial evaluation of Python code☆22Updated 2 years ago
- ♥ Janusz Brzozowski☆161Updated last year
- Swing, divide and conquer the factorial!☆81Updated 3 years ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆49Updated last week
- Various Futhark benchmark programs☆43Updated last week
- Programming language made up of chess games☆36Updated 6 years ago
- ☆126Updated 2 years ago
- Data and code associated with the paper "Computationally easy, spectrally good multipliers for congruential pseudorandom number generator…☆22Updated last year
- Busy Beaver deciders backed by Coq proof☆61Updated 11 months ago
- count number of legal positions in the game of go☆104Updated last year
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- Stable In-place sorting in O(n*log(n)) worst time☆195Updated 2 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 5 years ago
- Binary floating-point to decimal string conversion algorithm.☆106Updated 8 years ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 4 years ago
- This repository contains efficient implementation of the Miller-Rabin primality test for x86-64☆34Updated 5 years ago
- knot theory and computational algebra software☆38Updated 11 years ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated last week
- Vectorized (AVX) version of the game of life☆29Updated 7 years ago
- Cayley Dickson algebra implementation in python☆12Updated 7 years ago
- An experimental method JIT for CPython 3☆29Updated 9 years ago
- Compute numbers to high precision using the YMP bignum library!☆23Updated 9 years ago