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 7 years ago
• flavioc / meld
  Meld virtual machine.
  ☆29Updated 9 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆25Updated 11 years ago
• SWI-Prolog / packages-swipl-win
  Portable Qt-based console for SWI-Prolog by Carlo Capelli
  ☆11Updated last month
• SWI-Prolog / packages-chr
  CHR: Leuven Constraint Handling Rules
  ☆26Updated last month
• mndrix / mavis
  Optional types for Prolog
  ☆11Updated 6 years ago
• SWI-Prolog / packages-clpqr
  CLP(Q,R): constraints over rational numbers and floats by Leslie de Koninck
  ☆9Updated last month
• malyzajko / rosa
  Rosa, the real compiler
  ☆20Updated 7 years ago
• LLNL / backstroke
  A tool for reversible computation in C++ based on incremental state saving.
  ☆22Updated 5 years ago
• Verites / verigraph
  Software specification and verification system based on graph rewriting
  ☆37Updated 2 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆28Updated 6 years ago
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 12 years ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆56Updated 4 months ago
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆22Updated 4 years ago
• DIJamner / lambda-compiler
  A simple compiler from the lambda calculus to MIPS assembly
  ☆20Updated 8 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• ucsc-proglang / sage
  The dependently & gradually typed Sage programming language
  ☆9Updated 11 years ago
• zenprotocol / contracts
  Contract examples
  ☆10Updated 3 years ago
• runtimeverification / llvm-backend
  KORE to llvm translation
  ☆38Updated last week
• tchajed / goedel-t
  Formalization of termination of Gödel's System T
  ☆9Updated 4 years ago
• racket / datalog
  ☆46Updated 3 weeks ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆58Updated 4 months ago
• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆19Updated 3 years ago
• GaloisInc / jvm-verifier
  The Java Symbolic Simulator, part of SAW.
  ☆10Updated 4 years ago
• HOL-Theorem-Prover / hol-guidebook
  HOL Guidebook
  ☆11Updated 7 months ago
• SWI-Prolog / packages-plunit
  The SWI-Prolog Unit Testing library
  ☆9Updated last month
• webyrd / relational-interpreter-with-match
  Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher
  ☆11Updated 10 years ago
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆71Updated 4 months ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆14Updated 10 years ago
• smarr / CSOM
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆11Updated 3 years ago