Alternatives and similar repositories for revolve

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

• FragileTech / plangym
  Library that provides environments for planning problems
  ☆16Updated last week
• simondlevy / neat-gym
  Neuro-evolution for OpenAI Gym environments
  ☆59Updated 4 years ago
• JohnnyYeeee / math_prog_synth_env
  ☆12Updated 4 years ago
• mvcisback / py-metric-temporal-logic
  Python library for working with Metric Temporal Logic (MTL)
  ☆102Updated 2 years ago
• ericmedvet / 2dhmsr
  Java framework for experimenting with a 2-D version of the voxel-based soft robots.
  ☆19Updated 2 years ago
• pl-robotdecision / tutorials-active-inference
  Free Energy Principle and Active Inference tutorials for newbies
  ☆50Updated 5 years ago
• cmu-rss-lab / rosdiscover
  ☆18Updated 2 years ago
• BackpropTools / BackpropTools
  A Fast, Portable Deep Reinforcement Learning Library for Continuous Control
  ☆13Updated 2 years ago
• tulip-control / tulip-control
  Temporal Logic Planning toolbox
  ☆124Updated last month
• 921kiyo / symbolic-rl
  Symbolic Reinforcement Learning using Inductive Logic Programming
  ☆62Updated 2 years ago
• EthanJamesLew / koopmania
  a little library to help me with things involving Koopman operators
  ☆12Updated 3 years ago
• VerifiableRobotics / slugs
  SmalL bUt Complete GROne Synthesizer
  ☆43Updated last year
• whitemech / pythomata
  A Python package for automata theory.
  ☆59Updated 2 years ago
• google-deepmind / PGMax
  Loopy belief propagation for factor graphs on discrete variables in JAX
  ☆164Updated last year
• Farama-Foundation / Jumpy
  On-the-fly conversions between Jax and NumPy tensors
  ☆56Updated 2 years ago
• ivy-llc / gym
  Fully differentiable RL environments, written in Ivy.
  ☆66Updated 2 years ago
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆72Updated last month
• APLA-Toolbox / PythonPDDL
  🧭🔍 A PDDL Planner in Python partially wrapping PDDL.jl using JuliaPy
  ☆32Updated 2 weeks ago
• google / trajax
  ☆233Updated 2 years ago
• whitemech / LTLf2DFA
  From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
  ☆79Updated last year
• whitemech / Plan4Past
  Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals
  ☆19Updated last year
• google-research / reverse-engineering-neural-networks
  A collection of tools for reverse engineering neural networks.
  ☆166Updated 2 years ago
• ucbtns / dai
  🧊 🚩Comparison of active inference, q-learning and bayesian rl using modified FrozenLake environment
  ☆34Updated 5 years ago
• remykarem / py2pddl
  Write planning task as Python classes, then translate to PDDL. Type checking included.
  ☆50Updated 2 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆52Updated last month
• alife-data-standards / alife-data-standards
  Repository to host data standards for the ALIFE community.
  ☆16Updated 2 years ago
• apashea / IC2S2-Active-Inference-Tutorial
  Landing page and repository for the 'Active Agents' tutorial held 17 July, 2024 at the 10th International Conference on Computational Soc…
  ☆22Updated 11 months ago
• pockerman / bitrl
  Environments and various utilities for reinforcement learning with C++
  ☆17Updated last week
• cognitiveailab / neurosymbolic
  A neurosymbolic T5 agent for playing text games, from the EACL 2023 paper "Behavior Cloned Transformers are Neurosymbolic Reasoners"
  ☆20Updated 2 years ago
• tulip-control / polytope
  Geometric operations on polytopes of any dimension
  ☆84Updated 8 months ago