Alternatives and similar repositories for decapitate-the-spire

Users that are interested in decapitate-the-spire are comparing it to the libraries listed below

• alexdriedger / SlayTheSpireFightPredictor
  Machine learning in Slay the Spire to predict fight outcomes and evaluate cards. Available on the Steam Workshop!
  ☆31Updated 5 years ago
• ForgottenArbiter / spirecomm
  A package for interfacing with Slay the Spire through Communication Mod, plus a simple AI
  ☆72Updated 5 years ago
• nftwzrd / opensea-instant-outbidder-bidding-bot
  Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…
  ☆102Updated 2 years ago
• UQ-PAC / BASIL
  The Basil pipeline for concurrent information flow analysis in AArch64 binaries.
  ☆13Updated last week
• AI-Planning / lifted-pddl
  A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.
  ☆17Updated last year
• reactive-systems / ml2
  Machine Learning for Mathematics and Logics
  ☆13Updated 5 months ago
• mail-ecnu / GroupMeeting
  slices in group meetings
  ☆12Updated 4 years ago
• jgcoded / BuDDy
  BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files
  ☆13Updated 8 years ago
• limo1996 / SAT-Solver
  Parallel SAT Solver
  ☆10Updated 7 years ago
• anki08 / Option-Critic
  A simple option critic framework using Q-Learning
  ☆14Updated 3 years ago
• realChrisHahn2 / nl2spec
  nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
  ☆47Updated last year
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated 10 months ago
• SYNTCOMP / benchmarks
  Repository of benchmarks for SYNTCOMP
  ☆13Updated 3 months ago
• inpefess / gym-saturation
  a collection of Gymnasium environments for saturation provers
  ☆22Updated 2 months ago
• Simewu / top-SAT-solvers-2021
  The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.
  ☆21Updated 5 months ago
• WhiteGL / HSTPNSim
  Using for petri nets simulations
  ☆42Updated 7 years ago
• iscar-ucm / xdevs
  xDEVS: A cross-platform Discrete EVent System simulator
  ☆11Updated last year
• CesMak / mcts_cardgame
  Reinforcement Learning (PPO) applied to a multiplayer simple card game (Witches)
  ☆10Updated 5 years ago
• fm4se / fm-playground
  A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
  ☆15Updated 3 weeks ago
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆12Updated 2 years ago
• dselsam / neurocore-public
  NeuroCore: Guiding CDCL with Unsat-Core Predictions
  ☆45Updated 5 years ago
• thiagopbueno / pddlparser-pp
  Domain and problem PDDL parser in C/C++ using Flex & Bison.
  ☆16Updated 6 years ago
• WolfgangKonen / GBG
  General Board Game Playing
  ☆25Updated 2 months ago
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆68Updated last year
• satviz / satviz
  ☆11Updated 3 years ago
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆14Updated this week
• Formal-Systems-Laboratory / ROSRV
  ☆15Updated 4 years ago
• cheuktingli / psitip
  Python Symbolic Information Theoretic Inequality Prover
  ☆43Updated 2 months ago
• SUSTechGameAI / GameAIPlatforms
  Game-based AI Platforms
  ☆26Updated last year
• RManLuo / llm-facteval
  Source code of paper "Systematic Assessment of Factual Knowledge in Large Language Models" - EMNLP Findings 2023
  ☆16Updated last year