Alternatives and similar repositories for pneditor

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

• acfoltzer / Molog
  A typed logic programming language embedded in Haskell
  ☆49Updated 12 years ago
• iig-uni-freiburg / WOLFGANG
  Petri Net Editor
  ☆26Updated 7 years ago
• aa755 / ROSCoq
  Robots powered by Constructive Reals
  ☆34Updated 7 years ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• Erdwolf / prolog
  A prolog interpreter written in Haskell.
  ☆62Updated 10 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆59Updated 3 weeks ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆26Updated 11 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 8 years ago
• osa1 / language-lua
  Lua parser and pretty-printer
  ☆51Updated 9 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆32Updated 13 years ago
• flavioc / meld
  Meld virtual machine.
  ☆28Updated 9 years ago
• Verites / verigraph
  Software specification and verification system based on graph rewriting
  ☆37Updated 2 years ago
• meiersi / scyther-proof
  A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  ☆17Updated 10 years ago
• rocq-community / dedekind-reals
  A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]
  ☆44Updated last year
• GaloisInc / lustre
  A parser and AST for Lustre
  ☆12Updated last year
• math-comp / mcb
  Mathematical Components (the Book)
  ☆147Updated 3 weeks ago
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• harlanhaskins / hasm
  An Assembly-like programming language and interpreter in Haskell
  ☆16Updated 9 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 14 years ago
• svenssonjoel / Obsidian
  Obsidian Language Repository
  ☆41Updated 7 years ago
• favonia / homotopy
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆26Updated 11 years ago
• FranckS / RingIdris
  Ring solver for Idris
  ☆20Updated 6 years ago
• racket / datalog
  ☆48Updated 2 months ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 3 years ago
• OPLSS / oplss-notes-2017
  handouts and notes from the 2017 edition of the summer school
  ☆39Updated 8 years ago
• idris-lang / idris-emptycg
  An empty code generator, to be used as a starting point for any new back ends.
  ☆51Updated 8 years ago
• sunshowers / z3.rkt
  Racket bindings for Z3
  ☆20Updated 13 years ago
• llvm-hs / llvm-hs-examples
  Examples for Haskell bindings to LLVM
  ☆73Updated 4 years ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆24Updated 2 years ago