MeGotsThis / Hanabi-AI

Related projects ⓘ

Alternatives and complementary repositories for Hanabi-AI

• Ludeme / LudiiAI
  Repo with code for Ludii's built-in AIs.
  ☆21Updated last year
• JUrban / deepmath
  deep learning for math
  ☆29Updated 5 years ago
• agentcontest / massim_2020
  Simulation platform for the Multi-Agent Programming Contest 2020/21
  ☆20Updated last year
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆20Updated 6 months ago
• potassco / plasp
  🗺️ ASP planning tools for PDDL
  ☆28Updated 3 years ago
• Ludeme / LudiiPythonAI
  Example repo for running Python-based AIs in Ludii
  ☆10Updated 2 years ago
• andrewcropper / iggp
  A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.
  ☆12Updated last year
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated last year
• guyu96 / kifutalk
  A web app for sharing, editing, and commenting on kifus (game records for the board game Go)
  ☆9Updated 5 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆42Updated last month
• gbtami / fairyfishnet
  Fork of https://github.com/niklasf/fishnet Supports variants playble on https://www.pychess.org
  ☆10Updated this week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆34Updated 7 months ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆44Updated 9 months ago
• gilith / opentheory
  The opentheory tool processes higher order logic theory packages
  ☆15Updated last year
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 4 months ago
• sysulic / MEPK
  A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
  ☆10Updated 3 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆32Updated 6 years ago
• hexhex / hexlite
  Python-based HEX implementation for a fragment of the HEX language and a subset of features.
  ☆14Updated 2 years ago
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Updated 6 months ago
• ai4reason / Prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆40Updated 9 months ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆48Updated last month
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆40Updated 3 years ago
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆26Updated 4 months ago
• celinehocquette / magicpopper
  C. Hocquette and A. Cropper, Learning programs with magic values.
  ☆18Updated 2 years ago
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆24Updated 3 weeks ago
• gsychi / 64CrazyhouseDeepLearning
  A deep learning Crazyhouse chess program that uses a Monte Carlo Tree Search (MCTS) based evaluation system and reinforcement to enhance …
  ☆18Updated 5 years ago
• bonetblai / qnp2fond
  Qualitative Numeric Planning
  ☆9Updated 3 years ago
• QueensGambit / CrazyAra-Engine
  CrazyAra - A Deep Learning UCI-Chess Variant Engine written in C++
  ☆12Updated 5 years ago
• petersn / duckchess
  An engine + analysis interface for duck chess
  ☆18Updated 5 months ago