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
• guillem-catala / PetriNetSim
  Java colored/timed petrinet simulator
  ☆14Updated 13 years ago
• carlssonia / adaptive
  ☆10Updated 12 years ago
• sarahtattersall / PIPE
  PIPE - Platform Independent Petri Net Editor
  ☆237Updated 2 years ago
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆28Updated 5 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• AccelerateHS / accelerate-llvm
  LLVM backend for Accelerate
  ☆162Updated 4 months ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆31Updated 11 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆28Updated 6 years ago
• IntelLabs / flrc-lib
  Pillar compiler, Pillar runtime, garbage collector.
  ☆23Updated 2 years ago
• toby-allsopp / free-monads-in-cpp
  Functors, Monads and Free Monads in C++
  ☆18Updated last year
• enso-lang / enso
  ☆71Updated 4 years ago
• acfoltzer / Molog
  A typed logic programming language embedded in Haskell
  ☆49Updated 11 years ago
• AmpersandTarski / Ampersand
  This repository contains the source code of the Ampersand compiler. For developing in VS-code, it contains a devcontainer. It contains a …
  ☆40Updated 2 weeks ago
• ilya-klyuchnikov / henk
  Pure Type Systems for Functional Programming
  ☆31Updated 4 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆36Updated 9 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 11 years ago
• graninas / Haskell-Algorithms
  Learning Haskell: algorithms, data structures, mini-programs, materials, excercises
  ☆17Updated 5 years ago
• HOL-Theorem-Prover / hol-guidebook
  HOL Guidebook
  ☆11Updated 3 months ago
• AccelerateHS / accelerate-cuda
  DEPRECATED: Accelerate backend for NVIDIA GPUs
  ☆56Updated 7 years ago
• squisher / stella
  DSL with focus on simulations: Compiling a subset of Python with LLVM for high-performance execution
  ☆11Updated 9 years ago
• pascalh / Astview
  Astview is a graphical viewer for abstract syntax trees
  ☆25Updated 2 years ago
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 4 years ago
• shnarazk / mios
  A SAT solver written in Haskell.
  ☆39Updated 6 years ago
• BlairArchibald / YewPar
  A Collection of High Performance Parallel Skeletons for Tree Search Problems
  ☆21Updated 9 months ago
• osa1 / language-lua
  Lua parser and pretty-printer
  ☆51Updated 8 years ago
• dsorokin / aivika
  A multi-method simulation library
  ☆79Updated 7 months ago
• diagrams / diagrams-svg
  An SVG backend for diagrams
  ☆49Updated 5 months ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• QuentinDuval / IdrisPipes
  A library for composable and effectful production, transformation and consumption of streams of data in Idris
  ☆37Updated 7 years ago