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
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆32Updated 12 years ago
• acfoltzer / Molog
  A typed logic programming language embedded in Haskell
  ☆49Updated 12 years ago
• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 5 years ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• meiersi / scyther-proof
  A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  ☆16Updated 10 years ago
• osa1 / language-lua
  Lua parser and pretty-printer
  ☆51Updated 9 years ago
• AccelerateHS / accelerate-cuda
  DEPRECATED: Accelerate backend for NVIDIA GPUs
  ☆56Updated 8 years ago
• TikhonJelvis / array-forth
  A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.
  ☆27Updated 4 years ago
• idris-lang / idris-emptycg
  An empty code generator, to be used as a starting point for any new back ends.
  ☆51Updated 7 years ago
• leftaroundabout / dumb-cas
  A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
  ☆17Updated last year
• favonia / homotopy
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆26Updated 10 years ago
• sllam / comingle
  CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles
  ☆33Updated 8 years ago
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆22Updated 5 years ago
• nomyx / Nomyx
  The Nomyx game
  ☆84Updated last year
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 5 months ago
• mndrix / mavis
  Optional types for Prolog
  ☆11Updated 6 years ago
• epost / purescript-datalog-parsers
  Parsers for Prolog, Datomic, and various other Datalog varieties.
  ☆12Updated 7 years ago
• perl6 / Pugs.hs
  (ARCHIVE) Raku User's Golfing System in Haskell
  ☆85Updated 4 years ago
• FranckS / RingIdris
  Ring solver for Idris
  ☆20Updated 6 years ago
• flavioc / meld
  Meld virtual machine.
  ☆28Updated 9 years ago
• ucsc-proglang / sage
  The dependently & gradually typed Sage programming language
  ☆9Updated 11 years ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆24Updated 2 years ago
• Erdwolf / prolog
  A prolog interpreter written in Haskell.
  ☆62Updated 10 years ago
• logic-tools / nadea
  NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
  ☆16Updated 2 years ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 12 years ago
• jin / subtyping
  An implementation of structural subtyping of records and functions
  ☆13Updated 7 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆26Updated 11 years ago
• orchid-hybrid / microKanren-sagittarius
  microKanren sagittarius/larceny
  ☆11Updated 10 years ago