Alternatives and similar repositories for simple-java-petrinet

Users that are interested in simple-java-petrinet are comparing it to the libraries listed below

• grievejia / pcomb
  Simple C++ Parser Combinator Library
  ☆15Updated 10 years ago
• graphik-team / graal
  Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
  ☆50Updated 3 years ago
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆37Updated last week
• MetaBorgCube / IceDust
  A language for data modeling and incremental computing of derived values
  ☆11Updated last year
• Tipoca / hlvm
  High-Level Virtual Machine for statically-typed functional languages.
  ☆48Updated 14 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 9 years ago
• shamsimam / savina
  Savina is an Actor Benchmark Suite.
  ☆38Updated 4 years ago
• HippoBaro / ultramarine
  High-performance virtual actor system framework on Seastar
  ☆30Updated 6 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆73Updated 12 years ago
• gsdlab / clafer
  Clafer is a lightweight modeling language
  ☆47Updated 11 months ago
• jhellerstein / arugula
  a small C++ lattice library
  ☆15Updated 6 years ago
• rewriting / tom
  ☆34Updated 5 years ago
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 6 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆31Updated 10 years ago
• belaban / pluscal
  Tests with PlusCal / TLA+
  ☆25Updated 9 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆58Updated last year
• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 8 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 8 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆80Updated 2 years ago
• nkatzz / OLED
  An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs
  ☆19Updated 5 years ago
• tnelson / FlowLog
  ☆17Updated 10 years ago
• uwsampa / giraph-docker
  Giraph Docker image
  ☆12Updated 9 years ago
• pszeliga / functional-java
  ☆11Updated 8 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆29Updated 7 years ago
• vitorenesduarte / exp
  Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb
  ☆15Updated 4 years ago
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆23Updated 9 years ago
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 7 years ago
• mmhelloworld / jvm-assembler
  JVM bytecode assembler as REST api
  ☆11Updated 5 months ago
• djspiewak / scala-bison
  A recursive ascent/descent parser generator for Scala
  ☆34Updated 3 years ago