girving / pentagoLinks
A massively parallel pentago solver
☆52Updated 6 months ago
Alternatives and similar repositories for pentago
Users that are interested in pentago are comparing it to the libraries listed below
Sorting:
- An experimental method JIT for CPython 3☆29Updated 9 years ago
- interesting solutions to project euler problems☆84Updated 9 years ago
- Binary floating-point to decimal string conversion algorithm.☆104Updated 7 years ago
- Chess Engine written using the Rust programming language☆43Updated 9 years ago
- ☆50Updated 5 years ago
- a git implementation in rust. yeah, I know..☆12Updated 9 years ago
- Cayley Dickson algebra implementation in python☆12Updated 6 years ago
- Busy Beaver deciders backed by Coq proof☆57Updated 6 months ago
- Arbitrary precision floating point in Rust☆19Updated 9 years ago
- Pip: an imperative code-golf language☆35Updated 2 weeks ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆44Updated last week
- The most wrong build system and package manager for C and C++.☆23Updated 6 years ago
- Partial evaluation of Python code☆22Updated 2 years ago
- A benchmark for random memory accesses☆122Updated 2 years ago
- Vectorized (AVX) version of the game of life☆27Updated 7 years ago
- Fast directed acyclic word graph generator☆91Updated 7 years ago
- Some experiments… and maybe a surprise coming.☆33Updated 6 years ago
- Sigmoid Numbers backed by IEEE Floats☆17Updated 8 years ago
- A solver for halting problem of Brainfuck programs☆17Updated 5 years ago
- A library for execution of Semantic Brain, based on Urban Müller's famous but unprintable language.☆25Updated 5 years ago
- Incremental failure injection in C☆18Updated 8 years ago
- a small C++ lattice library☆15Updated 5 years ago
- A novel adaptive sorting algorithm☆174Updated 3 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- A language for matching two-dimensional patterns, based on Boolean grammars.☆13Updated 7 years ago
- ☆14Updated last year
- Interactive Console for the C Programming Language☆72Updated 10 years ago
- Moderately-optimizing brainfuck interpreter☆44Updated 6 years ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated 3 months ago
- Robin Hood Sort, for uniform data☆75Updated 2 years ago