Skip to content
@lmntal

lmntal

README.md

LMNtal, a unifying language and model checking tools

LMNtal (pronounced "elemental") is a programming and modeling language based on hierarchical graph rewriting. It was designed to be a substrate language of diverse computational models, especially those addressing concurrency, mobility and multiset rewriting, including (Colored) Petri Nets, Interaction Nets, the Pi-Calculus, Chemical Abstract Machines, Constraint Handling Rules, and Bigraphs.

Pinned Loading

  1. slim Public

    slim LMNtal implementation

    C++ 19 5

  2. lmntal-compiler Public

    LMNtal Compiler

    Java 20 2

Repositories

Showing 10 of 17 repositories
  • slim Public

    slim LMNtal implementation

    C++ 19 5 28 16 Updated Mar 17, 2025
  • lmntal-compiler Public

    LMNtal Compiler

    Java 20 2 12 6 Updated Feb 21, 2025
  • coq-lmntal Public
    Coq 0 0 0 0 Updated Nov 6, 2024
  • mell-library-examples Public
    SCSS 0 MIT 0 0 0 Updated Oct 19, 2024
  • yamamoto-portfolio Public

    Naoki Yamamoto's portfolio page

    HTML 0 0 0 0 Updated Sep 10, 2024
  • lmntalc Public
    Rust 2 MIT 0 6 (1 issue needs help) 0 Updated Sep 4, 2024
  • lmntalgg-examples Public
    EJS 0 0 0 0 Updated Jul 24, 2024
  • lavit Public

    LMNtal IDE

    Java 6 3 15 1 Updated Jun 17, 2024
  • Graphene Public
    Scala 1 1 2 0 Updated Apr 3, 2023
  • .github Public

    LMNtal, a unifying language and model checking tools

    0 0 0 0 Updated Feb 20, 2023
View all repositories