Alternatives and similar repositories for PIPE

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

• rkirsling / modallogic
  Modal Logic Playground
  ☆373Updated last year
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆25Updated 3 weeks ago
• LightJason / Java-AgentSpeak
  LightJason - AgentSpeak(L++) for Java
  ☆24Updated 4 years ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆101Updated this week
• MiniZinc / libminizinc
  The MiniZinc compiler
  ☆619Updated this week
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆423Updated 3 weeks ago
• MiniZinc / minizinc-examples
  small MiniZinc examples demonstrating various language features
  ☆125Updated 8 years ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆178Updated last week
• overleaf / web
  The web front end for Overleaf, a web-based collaborative LaTeX editor
  ☆359Updated 4 years ago
• SRI-CSL / yices2
  SRI Yices SMT Solver
  ☆429Updated last month
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆113Updated 2 weeks ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆225Updated 5 months ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆152Updated last week
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆97Updated last month
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆914Updated 8 years ago
• antlr / symtab
  Generic symbol table for lexically/statically scoped languages
  ☆53Updated 8 years ago
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆204Updated 3 weeks ago
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆227Updated 9 months ago
• lip6 / pnmlframework
  This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - www.pnml.org…
  ☆13Updated last year
• SWI-Prolog / swish
  SWI-Prolog for SHaring: a SWI-Prolog web IDE
  ☆538Updated last week
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated last year
• BNFC / bnfc
  BNF Converter
  ☆609Updated 2 weeks ago
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆78Updated last month
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆833Updated 2 years ago
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆227Updated this week
• niklasso / minisat
  A minimalistic and high-performance SAT solver
  ☆1,101Updated last year
• potassco / clingo
  🦉 A grounder and solver for logic programs.
  ☆701Updated this week
• csplib / csplib
  A benchmark library for constraints
  ☆97Updated 2 months ago
• oris-tool / sirio
  The Sirio library for the analysis of stochastic time Petri nets
  ☆14Updated 3 months ago
• MiniZinc / MiniZincIDE
  The MiniZinc IDE
  ☆156Updated this week