LLMs playing chess are sensitive to how the position came to be
☆25Feb 14, 2024Updated 2 years ago
Alternatives and similar repositories for llm-chess-proofgame
Users that are interested in llm-chess-proofgame are comparing it to the libraries listed below
Sorting:
- gpt-3.5-turbo-instruct, prompted with PGN, vs Stockfish Level 4 on LiChess☆15Sep 19, 2023Updated 2 years ago
- WebAMS is an Open Source web application for reporting and resolving incidents or tickets☆10Dec 11, 2022Updated 3 years ago
- A gv file representing the relationships between various algebraic structures.☆19Oct 25, 2020Updated 5 years ago
- Benchmark structured generation libraries☆31Oct 25, 2024Updated last year
- A set of tools for analyzing languages via logic and automata☆27Feb 12, 2026Updated 3 weeks ago
- hackernews data☆34Dec 14, 2025Updated 2 months ago
- SPMD + Neural Nets☆32Feb 8, 2020Updated 6 years ago
- A demo app showing you how to integrate with Google Cloud Translate API☆10Mar 20, 2019Updated 6 years ago
- lumiere client☆30Updated this week
- ☆12Nov 22, 2024Updated last year
- Image converter using an ASCII based ad hoc dithering algorithm☆10Oct 3, 2023Updated 2 years ago
- Cycling Level of Stress Map☆10Jan 19, 2018Updated 8 years ago
- using quarkus with Confluent SchemaRegistry☆11Sep 29, 2023Updated 2 years ago
- Communication is an important component in robotic systems. The application goals such as, finding a victim or teleoperate a robot in an …☆11Aug 29, 2017Updated 8 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- ☆13Jul 10, 2024Updated last year
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- ☆16Nov 20, 2024Updated last year
- Strong's Concordance☆11Aug 6, 2017Updated 8 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- ⭐️ Lightweight new tab page for Chrome/Firefox, synced with your bookmarks☆21Sep 10, 2020Updated 5 years ago
- ☆11Updated this week
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- Chocolatey packages for JetBrains products.☆15Sep 22, 2017Updated 8 years ago
- Toy distributed PostgreSQL by implementing SQL over KV☆11Jan 14, 2026Updated last month
- Emulate the AWS IoT Button on a Raspberry Pi with a simple push button using this C++ sample☆10Sep 16, 2016Updated 9 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- Some quines in the Go programming language☆15Mar 8, 2023Updated 2 years ago
- ☆10Aug 25, 2020Updated 5 years ago
- Generalized Optimal Transport Attention with Trainable Priors☆24Jan 25, 2026Updated last month
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Dec 4, 2019Updated 6 years ago
- Apache Solr: Because your Database is not a Search Engine☆12Feb 27, 2019Updated 7 years ago
- The source code repository for the FactorBase system☆10Mar 17, 2024Updated last year
- Visual graph rewriting platform☆10Jun 3, 2025Updated 9 months ago
- Production-ready docker images for AmuseWiki.☆13Jan 6, 2026Updated 2 months ago
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆11Sep 21, 2021Updated 4 years ago
- XML (WXR) file generator for official Wordpress Import Plugin. Add categories and posts in clean readable way, and then serialize it into…☆11Jan 14, 2022Updated 4 years ago
- fio is IO benchmark docker image with fio cli☆12Dec 3, 2020Updated 5 years ago