Alternatives and similar repositories for pneditor

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

• iig-uni-freiburg / WOLFGANG
  Petri Net Editor
  ☆26Updated 8 years ago
• TikhonJelvis / array-forth
  A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.
  ☆28Updated 4 years ago
• favonia / homotopy
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆27Updated 11 years ago
• flavioc / meld
  Meld virtual machine.
  ☆28Updated 10 years ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 3 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 14 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆26Updated 11 years ago
• rewriting / tom
  ☆34Updated 5 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆29Updated 7 years ago
• potassco / plasp
  🗺️ ASP planning tools for PDDL
  ☆31Updated 4 years ago
• cesaro / cunf
  A model checker for safe Petri nets based on partial-order semantics
  ☆13Updated 5 years ago
• logicmoo / logicmoo_workspace
  https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
  ☆44Updated 2 years ago
• racket / datalog
  ☆49Updated last month
• sllam / comingle
  CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles
  ☆33Updated 9 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆59Updated 2 months ago
• orc-lang / orc
  Orc programming language implementation
  ☆45Updated 3 years ago
• meiersi / scyther-proof
  A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  ☆17Updated 10 years ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆32Updated 12 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 8 years ago
• thetrime / proscript2
  If at first you don't succeed
  ☆12Updated 5 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆32Updated 13 years ago
• eprover / eprover
  ☆159Updated last month
• aa755 / ROSCoq
  Robots powered by Constructive Reals
  ☆34Updated 8 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• logic-tools / nadea
  NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
  ☆16Updated 3 years ago
• triska / letswicrypt
  Prolog HTTPS Servers
  ☆39Updated 7 years ago
• Erdwolf / prolog
  A prolog interpreter written in Haskell.
  ☆62Updated 10 years ago
• rmetzler / simple-java-petrinet
  A simple Petri net framework in Java. I had to write this for my studies and figured it might be helpful for someone.
  ☆34Updated 7 years ago
• squisher / stella
  DSL with focus on simulations: Compiling a subset of Python with LLVM for high-performance execution
  ☆11Updated 10 years ago