girving / pentagoLinks
A massively parallel pentago solver
☆52Updated last week
Alternatives and similar repositories for pentago
Users that are interested in pentago are comparing it to the libraries listed below
Sorting:
- Chess Engine written using the Rust programming language☆44Updated 9 years ago
- Partial evaluation of Python code☆22Updated 2 years ago
- A language for matching two-dimensional patterns, based on Boolean grammars.☆13Updated 7 years ago
- Swift/T: High Performance Parallel Scripting Language☆56Updated last month
- Rust rewrite of the sunfish simple chess engine☆57Updated 4 years ago
- Dancing Quine Chameleon☆43Updated 10 years ago
- Busy Beaver deciders backed by Coq proof☆59Updated 10 months ago
- a git implementation in rust. yeah, I know..☆12Updated 9 years ago
- The pastebin for mathematicians☆35Updated 11 years ago
- An experimental method JIT for CPython 3☆29Updated 9 years ago
- A novel adaptive sorting algorithm☆176Updated 3 years ago
- The Grand C++ Error Explosion Competition test harness☆38Updated 11 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆49Updated 2 months ago
- count number of legal positions in the game of go☆104Updated last year
- Programming language and C++ library for (linear) genetic programming☆111Updated 14 years ago
- Various Futhark benchmark programs☆43Updated this week
- Swing, divide and conquer the factorial!☆81Updated 3 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- Vectorized (AVX) version of the game of life☆29Updated 7 years ago
- Golly, a Game of Life simulator☆51Updated 6 months ago
- Cellular Automata in Rust☆29Updated 6 years ago
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆52Updated 2 years ago
- The Fhourstones benchmark by John Tromp (http://homepages.cwi.nl/~tromp/c4/fhour.html)☆49Updated 10 years ago
- Binary floating-point to decimal string conversion algorithm.☆106Updated 8 years ago
- Some experiments… and maybe a surprise coming.☆33Updated 7 years ago
- metamath proof enumerators and other things☆92Updated last month
- %%cffi cell magic for ipython.☆14Updated 7 years ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆47Updated 11 years ago
- Arbitrary precision floating point in Rust☆19Updated 10 years ago
- A repository for the Quest For Tetris☆183Updated 4 years ago