Alternatives and similar repositories for simple-java-petrinet

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

• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 6 years ago
• gsdlab / clafer
  Clafer is a lightweight modeling language
  ☆47Updated 6 months ago
• enso-lang / enso
  ☆71Updated 5 years ago
• Tipoca / hlvm
  High-Level Virtual Machine for statically-typed functional languages.
  ☆48Updated 13 years ago
• grievejia / pcomb
  Simple C++ Parser Combinator Library
  ☆15Updated 9 years ago
• belaban / pluscal
  Tests with PlusCal / TLA+
  ☆25Updated 8 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆73Updated 11 years ago
• racket / datalog
  ☆48Updated 2 weeks ago
• MetaBorgCube / IceDust
  A language for data modeling and incremental computing of derived values
  ☆11Updated last year
• graphik-team / graal
  Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
  ☆49Updated 3 years ago
• jhellerstein / arugula
  a small C++ lattice library
  ☆15Updated 5 years ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆63Updated 5 years ago
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 6 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆30Updated 9 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆29Updated 6 years ago
• sidharthkuruvila / ocaml-ide
  Ocaml plugin for IntelliJ IDEA
  ☆55Updated 3 years ago
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆37Updated last month
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆74Updated last year
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 10 years ago
• tnelson / FlowLog
  ☆17Updated 10 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆56Updated 11 months ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆78Updated 2 years ago
• mukeshtiwari / Idris
  Codes related to Idris
  ☆15Updated 9 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆14Updated 10 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 9 years ago
• mikea / scheme-llvm
  ☆44Updated 8 years ago
• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 8 years ago