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 5 years ago
• ForgottenArbiter / CommunicationMod
  Slay the Spire mod that provides a protocol for allowing another process to control the game
  ☆101Updated 2 years ago
• gamerpuppy / sts_lightspeed
  ☆64Updated last year
• jesse-michael-han / neuro-cadical
  CaDiCaL + neural glue variable predictions
  ☆10Updated 4 years ago
• ThiagoLira / AutoFisher-SV
  ☆10Updated last year
• dselsam / neurocore-public
  NeuroCore: Guiding CDCL with Unsat-Core Predictions
  ☆45Updated 5 years ago
• wenxiwang / neuroback
  ☆10Updated 7 months ago
• maciej-sypetkowski / autoascend
  The first place solution for the NeurIPS 2021 Nethack Challenge -- https://www.aicrowd.com/challenges/neurips-2021-the-nethack-challenge
  ☆59Updated 2 years ago
• realChrisHahn2 / nl2spec
  nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
  ☆46Updated last year
• inpefess / gym-saturation
  a collection of Gymnasium environments for saturation provers
  ☆22Updated last month
• hgupta01 / svm_classification_keras
  Implementing SVM layer for classification using Keras Module
  ☆7Updated last year
• kitft / funsearch
  Genetic programming using LLMs
  ☆40Updated 5 months ago
• corail-research / learning-generic-csp
  Representing CP problems as graphs
  ☆19Updated 7 months ago
• UQ-PAC / BASIL
  The Basil pipeline for concurrent information flow analysis in AArch64 binaries.
  ☆13Updated this week
• rlseminar / rlseminar.github.io
  Reinforcement Learning Seminar at the Chinese University of Hong Kong, Shenzhen, China.
  ☆20Updated last year
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated 10 months ago
• johannaSommer / generalization-neural-co-solvers
  Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"
  ☆14Updated 2 years ago
• vwxyzjn / gym-pysc2
  Gym wrapper for pysc2
  ☆10Updated 2 years ago
• thtran97 / Local-Search-for-SAT
  Implementation of local search-based algorithms for solving SAT and Max-SAT in Python
  ☆13Updated 4 years ago
• yycdavid / program-synthesis-guided-RL
  ☆24Updated 3 years ago
• rl-language / rlc
  Bringing reinforcement learning to every day programmers
  ☆60Updated 3 weeks ago
• limo1996 / SAT-Solver
  Parallel SAT Solver
  ☆10Updated 7 years ago
• zhaoyu-li / NSNet
  [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"
  ☆19Updated 2 years ago
• entity-neural-network / entity-gym
  Standard interface for entity based reinforcement learning environments.
  ☆38Updated last year
• emreyolcu / sat
  Learning local search heuristics for Boolean satisfiability
  ☆37Updated last year
• maximaximal / Paracooba
  Distributed and ressource elastic cube-and-conquer SAT & QBF solver
  ☆20Updated 2 years ago
• prismmodelchecker / prism-games
  The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
  ☆25Updated last month
• lowrollr / turbozero
  fast + parallel AlphaZero in JAX
  ☆97Updated 7 months ago
• luchris429 / discovered-policy-optimisation
  Code for Discovered Policy Optimisation (NeurIPS 2022)
  ☆11Updated 2 years ago
• agurfinkel / spacer-on-jupyter
  ☆17Updated 2 years ago