EklipZgit / generals-botLinks
Automated Client for generals.io
☆31Updated 11 months ago
Alternatives and similar repositories for generals-bot
Users that are interested in generals-bot are comparing it to the libraries listed below
Sorting:
- Official utils for processing generals.io replays. Learn more at http://dev.generals.io/replays☆22Updated 6 years ago
- Automated Client for generals.io☆51Updated 2 years ago
- Code to automatically prove or verify estimates in analysis☆319Updated 6 months ago
- Exponent pair database☆67Updated last week
- ☆12Updated 3 years ago
- ☆68Updated last year
- Frontend of https://bbchallenge.org☆17Updated 3 weeks ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆49Updated 2 months ago
- Domain Specific Language for the Abstraction and Reasoning Corpus☆316Updated last year
- A random event driven text-based game engine.☆257Updated last year
- Blueprint for the PNT+ Project☆221Updated this week
- The Fhourstones benchmark by John Tromp (http://homepages.cwi.nl/~tromp/c4/fhour.html)☆49Updated 10 years ago
- Making Google Deepmind's AlphaGeometry accessible to the Masses☆62Updated last year
- Use GPT-3 to generate competitive programming ideas.☆10Updated last year
- Reverse Engineering the Abstraction and Reasoning Corpus☆329Updated 10 months ago
- ☆176Updated last month
- PyTorch implementation of AlphaZero Chess from scratch☆180Updated last year
- Formal to Formal Mathematics Benchmark☆410Updated 2 years ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆113Updated this week
- CMake managed Benzene vanilla for playing and solving the game of Hex, easier to install!☆44Updated last year
- 2048 AI☆89Updated 8 years ago
- ☆28Updated last year
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆58Updated 4 years ago
- A community database for the problems on the erdosproblems.com site☆245Updated this week
- Estimate the number of legal chess positions☆13Updated 4 years ago
- LandChat is an easy, open-source and light-weight chatting system.☆11Updated 5 years ago
- Tool for euclidean geometry aware of logic☆88Updated last year
- Algorithms in C++17☆16Updated last month
- Slay the Spire mod that provides a protocol for allowing another process to control the game☆113Updated 2 years ago
- 🚀 Fast prime counting function library☆344Updated this week