Alternatives and similar repositories for TerrarAI

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

• y-t-bot / 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…
  ☆100Updated 3 years ago
• leolellisr / poke_RL
  Code repository with classical reinforcement learning and deep reinforcement learning methods for Pokémon battles in Pokémon Showdown.
  ☆16Updated last year
• alexdriedger / SlayTheSpireFightPredictor
  Machine learning in Slay the Spire to predict fight outcomes and evaluate cards. Available on the Steam Workshop!
  ☆34Updated 5 years ago
• meyerphi / strix
  Strix is a tool for reactive synthesis of controllers from LTL specifications.
  ☆24Updated 3 years ago
• NeVerTools / pyNeVer
  A Python library for learning and verification of neural networks and other machine learning models
  ☆14Updated 4 months ago
• yycdavid / program-synthesis-guided-RL
  ☆25Updated 3 years ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated last year
• mgudemann / iimc
  ☆14Updated 8 years ago
• JKomp / AIGER
  Python version of tools to work with AIG formatted files
  ☆12Updated 8 months ago
• inpefess / gym-saturation
  a collection of Gymnasium environments for saturation provers
  ☆23Updated last month
• cocacola-lab / MineLand
  Simulating Large-Scale Multi-Agent Interactions with Limited Multimodal Senses and Physical Needs
  ☆105Updated 4 months ago
• realChrisHahn2 / nl2spec
  nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
  ☆51Updated last year
• crillab / d4v2
  ☆14Updated 8 months ago
• facebookresearch / motif
  Intrinsic Motivation from Artificial Intelligence Feedback
  ☆134Updated 2 years ago
• jar-ben / mustool
  ☆14Updated 2 years ago
• CatherineMeng / FGYM-user-demo
  Demonstrating the usage of FGYM: A Toolkit for benchmarking FPGA-accelerated Reinforcement Learning
  ☆13Updated 4 years ago
• rlglab / minizero
  [IEEE ToG] MiniZero: An AlphaZero and MuZero Training Framework
  ☆119Updated 6 months ago
• ayoreis / generative-agents
  An implementations of "Generative Agents: Interactive Simulacra of Human Behavior".
  ☆90Updated 2 years ago
• microsoft / interactive-minecraft-npcs
  ☆49Updated 2 years ago
• JmfanBU / ReachNNStar
  Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)
  ☆17Updated 2 years ago
• yhs0602 / CraftGround
  ⚡⚡ Lightning Fast (~300TPS) Reinforcement Learning environment on latest Minecraft 🏝️
  ☆58Updated last week
• fm4se / fm-playground
  A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...
  ☆19Updated this week
• berkeley-abc / mvsis
  A copy of the latest version of MVSIS
  ☆12Updated 4 years ago
• minerllabs / basalt-2022-behavioural-cloning-baseline
  Simple behavioural cloning baseline solution for BASALT 2022
  ☆32Updated 3 years ago
• dselsam / neurocore-public
  NeuroCore: Guiding CDCL with Unsat-Core Predictions
  ☆47Updated 5 years ago
• entity-neural-network / entity-gym
  Standard interface for entity based reinforcement learning environments.
  ☆38Updated last year
• eytans / easter-egg
  easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once
  ☆13Updated 10 months ago
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Updated 9 months ago
• mvcisback / py-aiger
  py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).
  ☆49Updated last month
• anki08 / Option-Critic
  A simple option critic framework using Q-Learning
  ☆14Updated 4 years ago