Alternatives and similar repositories for rainbow

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

• benchflow / benchflow
  An open-source expert system for automated end-to-end objective-driven performance testing and performance insights.
  ☆29Updated last week
• cmu-rss-lab / rosdiscover
  ☆18Updated 2 years ago
• robust-rosin / robust
  A dataset of 200+ bugs in the Robot Operating System with Docker containers
  ☆36Updated last year
• mvcisback / py-metric-temporal-logic
  Python library for working with Metric Temporal Logic (MTL)
  ☆102Updated 2 years ago
• ssanner / rddlsim
  Automatically exported from code.google.com/p/rddlsim
  ☆55Updated last year
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆181Updated this week
• Kurorororo / numeric-fast-downward
  ☆15Updated last year
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• jason-lang / jason
  Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language.
  ☆243Updated last month
• AI-Planning / planutils
  General library for setting up linux-based environments for developing, running, and evaluating planners.
  ☆134Updated 3 weeks ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆160Updated this week
• se-sic / SPLConqueror
  SPL Conqueror is a library to learn the influence of configuration options of configurable software systems on non-functional properties.
  ☆23Updated last year
• natasha-jeppu / Trace2Model
  Learning Concise Models from Long Execution Traces
  ☆13Updated 3 years ago
• pellierd / pddl4j
  PDDL4J is an open source library under LGPL license whose purpose of PDDL4J is to facilitate the development of JAVA tools for Automated …
  ☆161Updated last year
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• Formal-Systems-Laboratory / ROSRV
  ☆15Updated 4 years ago
• kliu20 / jRAPL
  ☆22Updated 8 years ago
• LearnLib / automatalib
  A free, open-source Java library for automata, graphs, and transition systems
  ☆99Updated this week
• nergmada / planning-wiki
  By the community, for everyone. Planning.wiki is the online guide to AI Planning
  ☆84Updated 2 years ago
• agentcontest / massim_2020
  Simulation platform for the Multi-Agent Programming Contest 2020/21
  ☆20Updated 2 years ago
• ZikangXiong / VRL_CodeReview
  [PLDI 19'] An Inductive Synthesis Framework for Verifiable Reinforcement Learning
  ☆14Updated 6 years ago
• mSvcBench / muBench
  µBench is a tool for benchmarking cloud/edge computing platforms that run microservice applications. The tool creates dummy microservice …
  ☆72Updated 7 months ago
• fraleo / OMTPlan
  A python framework for Optimal Planning Modulo Theories
  ☆12Updated 2 years ago
• y-ding / causal-system-papers
  ☆22Updated 4 years ago
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆222Updated 2 weeks ago
• oris-tool / sirio
  The Sirio library for the analysis of stochastic time Petri nets
  ☆15Updated 7 months ago
• Pold87 / myPDDL
  PDDL Syntax Highlighting, Snippets, Domain Visualization and more for Sublime Text
  ☆37Updated 7 years ago
• niklasf / python-agentspeak
  A Python-based interpreter for the agent-oriented programming language JASON
  ☆54Updated last year
• ModelInference / synoptic
  Inferring models of systems from observations of their behavior
  ☆85Updated 3 years ago
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆72Updated last month