Alternatives and similar repositories for PIPE

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

• LightJason / Java-AgentSpeak
  LightJason - AgentSpeak(L++) for Java
  ☆25Updated 4 years ago
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆125Updated last month
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆451Updated 4 months ago
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆54Updated 6 months ago
• jason-lang / jason
  Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language.
  ☆242Updated last month
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆27Updated 2 months ago
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆31Updated 2 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆160Updated this week
• osate / examples
  Examples and case-study that use OSATE
  ☆56Updated 9 months ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated last year
• MiniZinc / minizinc-examples
  small MiniZinc examples demonstrating various language features
  ☆126Updated 8 years ago
• ModelDriven / fUML-Reference-Implementation
  Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.
  ☆64Updated 2 years ago
• potassco / clingo
  🦉 A grounder and solver for logic programs.
  ☆733Updated this week
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆180Updated last week
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆48Updated 3 months ago
• Gecode / gecode
  Generic Constraint Development Environment
  ☆317Updated last week
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆103Updated this week
• SWI-Prolog / swish
  SWI-Prolog for SHaring: a SWI-Prolog web IDE
  ☆550Updated last month
• rkirsling / modallogic
  Modal Logic Playground
  ☆375Updated 2 years ago
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆227Updated last week
• sarl / sarl
  SARL Agent-Oriented Programming Language http://www.sarl.io
  ☆150Updated 3 months ago
• MiniZinc / libminizinc
  The MiniZinc compiler
  ☆657Updated this week
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆135Updated 2 weeks ago
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆235Updated last month
• pyecore / pyecore
  A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)
  ☆183Updated last year
• johnyf / tool_lists
  Links to tools by subject
  ☆387Updated last year
• tammet / logictools
  The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…
  ☆74Updated 5 years ago
• fmichel / MaDKit
  Multi-agent systems Development Kit - version 6
  ☆45Updated 9 months ago
• LearnLib / automatalib
  A free, open-source Java library for automata, graphs, and transition systems
  ☆98Updated last week