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
• flavioc / meld
  Meld virtual machine.
  ☆28Updated 10 years ago
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 13 years ago
• GaloisInc / lustre
  A parser and AST for Lustre
  ☆12Updated last year
• aa755 / ROSCoq
  Robots powered by Constructive Reals
  ☆34Updated 8 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆26Updated 12 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated 3 weeks ago
• philzook58 / rel
  Explorations in relations and the algebra of programming
  ☆17Updated 6 years ago
• epost / purescript-datalog-parsers
  Parsers for Prolog, Datomic, and various other Datalog varieties.
  ☆12Updated 8 years ago
• webyrd / relational-interpreter-with-match
  Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher
  ☆11Updated 10 years ago
• llnl / backstroke
  A tool for reversible computation in C++ based on incremental state saving.
  ☆22Updated 5 years ago
• osa1 / language-lua
  Lua parser and pretty-printer
  ☆52Updated 9 years ago
• HOL-Theorem-Prover / hol-guidebook
  HOL Guidebook
  ☆12Updated last year
• quux00 / PlusCal-Examples
  Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
  ☆62Updated 10 years ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆34Updated last week
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆23Updated 13 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• racket / datalog
  ☆49Updated 2 months ago
• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 8 years ago
• tca / veneer
  miniKanren in the browser
  ☆56Updated 9 years ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆25Updated 2 years ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆32Updated 12 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆60Updated 4 months ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆29Updated 7 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 3 years ago
• logicmoo / logicmoo_workspace
  https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
  ☆44Updated 2 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 13 years ago
• rewriting / tom
  ☆34Updated 5 years ago
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 6 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆32Updated 13 years ago