Alternatives and similar repositories for PIPE

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

• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆181Updated this week
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆160Updated last week
• Gecode / gecode
  Generic Constraint Development Environment
  ☆319Updated 3 weeks ago
• chocoteam / choco-solver
  An open-source Java library for Constraint Programming
  ☆750Updated this week
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated last year
• LightJason / Java-AgentSpeak
  LightJason - AgentSpeak(L++) for Java
  ☆25Updated 4 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆232Updated 3 weeks ago
• MiniZinc / minizinc-examples
  small MiniZinc examples demonstrating various language features
  ☆126Updated 8 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆227Updated this week
• rostam / GraphTea
  The Graph Theory Software
  ☆91Updated 8 months ago
• niklasso / minisat
  A minimalistic and high-performance SAT solver
  ☆1,140Updated last year
• overleaf / web
  The web front end for Overleaf, a web-based collaborative LaTeX editor
  ☆359Updated 4 years ago
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆452Updated 4 months ago
• vprover / vampire
  The Vampire Theorem Prover
  ☆392Updated this week
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆105Updated last year
• potassco / clingo
  🦉 A grounder and solver for logic programs.
  ☆746Updated this week
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆313Updated last week
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆27Updated 2 months ago
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆125Updated 2 months ago
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆54Updated last week
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆138Updated this week
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆103Updated last week
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆215Updated 2 months ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆50Updated 4 months ago
• MiniZinc / MiniZincIDE
  The MiniZinc IDE
  ☆166Updated last week
• sarl / sarl
  SARL Agent-Oriented Programming Language http://www.sarl.io
  ☆150Updated 3 months ago
• rkirsling / modallogic
  Modal Logic Playground
  ☆375Updated 2 years ago
• ModelDriven / fUML-Reference-Implementation
  Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.
  ☆64Updated 2 years ago