Alternatives and similar repositories for SlayTheSpireFightPredictor

Users that are interested in SlayTheSpireFightPredictor are comparing it to the libraries listed below

• ForgottenArbiter / spirecomm
  A package for interfacing with Slay the Spire through Communication Mod, plus a simple AI
  ☆72Updated 6 years ago
• ForgottenArbiter / CommunicationMod
  Slay the Spire mod that provides a protocol for allowing another process to control the game
  ☆104Updated 2 years ago
• gamerpuppy / sts_lightspeed
  ☆66Updated last year
• jahabrewer / decapitate-the-spire
  A headless clone of Mega Crit's Slay the Spire
  ☆15Updated 3 years ago
• ThiagoLira / AutoFisher-SV
  ☆10Updated last year
• WuTheFWasThat / hanabi.rs
  State of the art Hanabi bots + simulation framework in rust
  ☆45Updated last year
• cheuktingli / psitip
  Python Symbolic Information Theoretic Inequality Prover
  ☆45Updated 3 months ago
• AI-Planning / lifted-pddl
  A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.
  ☆17Updated last year
• yycdavid / program-synthesis-guided-RL
  ☆24Updated 3 years ago
• czlwang / grounded_LTL_parser
  [CoRL 2020] Learning a natural-language to LTL executable semantic parser for grounded robotics
  ☆16Updated 3 years ago
• jesse-michael-han / neuro-cadical
  CaDiCaL + neural glue variable predictions
  ☆10Updated 4 years ago
• inpefess / gym-saturation
  a collection of Gymnasium environments for saturation provers
  ☆23Updated this week
• tmoer / MCTS-T
  Code for the paper 'Monte Carlo Tree Search for Asymmetric Trees'
  ☆11Updated 7 years ago
• narhen / pysc2-replay
  Framework for inspecting actions and observatinos in StarCraftII replays
  ☆20Updated 7 years ago
• emreyolcu / sat
  Learning local search heuristics for Boolean satisfiability
  ☆37Updated last year
• kitft / funsearch
  Genetic programming using LLMs
  ☆46Updated 6 months ago
• ImparaAI / monte-carlo-tree-search
  Library for running a Monte Carlo tree search, either traditionally or with expert policies
  ☆127Updated last year
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated last year
• masouduut94 / MCTS-agent-python
  Monte Carlo Tree Search (MCTS) is a method for finding optimal decisions in a given domain by taking random samples in the decision space…
  ☆71Updated last year
• hineios / FAtiMA-DST
  Use FAtiMA-Toolkit to create agents for Don't Starve Together.
  ☆20Updated 6 years ago
• rl-language / rlc
  Bringing reinforcement learning to every day programmers
  ☆60Updated last week
• diplomacy / diplomacy
  Diplomacy: DATC-Compliant Game Engine with Web Interface
  ☆158Updated last year
• JmlrOrg / jmlr-style-file
  LaTeX style file for the Journal of Machine Learning Research
  ☆152Updated last year
• limo1996 / SAT-Solver
  Parallel SAT Solver
  ☆10Updated 7 years ago
• Simewu / top-SAT-solvers-2021
  The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.
  ☆21Updated 6 months ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated 10 months ago
• prismmodelchecker / prism-games
  The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
  ☆29Updated 2 months ago
• Le-Gris / h-arc
  ☆17Updated last month
• NTT123 / a0-jax
  AlphaZero in JAX
  ☆78Updated last year
• daniel-monroe / lczero-training
  For code etc relating to the network training process.
  ☆25Updated 8 months ago