MeGotsThis / Hanabi-AI
This is a hanabi AI bot that can play on http://keldon.net/hanabi/
☆12Updated 7 years ago
Alternatives and similar repositories for Hanabi-AI
Users that are interested in Hanabi-AI are comparing it to the libraries listed below
Sorting:
- Example repo for running Python-based AIs in Ludii☆12Updated 2 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆46Updated last week
- Repo with code for Ludii's built-in AIs.☆22Updated 2 years ago
- Web interface to play against LC0 (Leela Chess Zero)☆16Updated 6 years ago
- A web app for sharing, editing, and commenting on kifus (game records for the board game Go)☆9Updated 6 years ago
- CrazyAra - A Deep Learning UCI-Chess Variant Engine written in C++☆12Updated 5 years ago
- deep learning for math☆29Updated 6 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Updated 2 years ago
- Simulation platform for the Multi-Agent Programming Contest 2020/21☆20Updated 2 years ago
- Metamath verifier in Python☆38Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 10 months ago
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Updated 5 years ago
- different AI algorithms to solve board games☆18Updated 6 years ago
- Python Bindings to the Lean Theorem Prover http://leanprover.github.io/☆13Updated 7 years ago
- Implementation of Deepmind's AlphaZero algorithm with Caffe and C++☆19Updated 7 years ago
- Pedagogical first-order prover in Python☆75Updated this week
- An engine + analysis interface for duck chess☆20Updated 11 months ago
- SPSA Tuner for Stockfish Chess Engine☆20Updated 7 years ago
- Port of Aleph to SWI-Prolog☆47Updated last year
- Experimentation framework for Popper☆22Updated last year
- 🗺️ ASP planning tools for PDDL☆29Updated 3 years ago
- Interesting ATP Proofs☆13Updated 3 years ago
- Fork of https://github.com/niklasf/fishnet Supports variants playble on https://www.pychess.org☆11Updated this week
- Busy Beaver deciders backed by Coq proof☆52Updated 2 months ago
- General-purpose program synthesiser☆45Updated 6 months ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆68Updated 2 years ago
- A Learning Environment for Theorem Proving☆73Updated 2 years ago
- A General Multi-agent Epistemic Planner Based on Higher-order Belief Change☆10Updated 2 months ago
- Differentiable probabilistic answer set programming☆20Updated 6 months ago