kerml

SysMD is a SysML v2/KerML tool with an intuitive, notebook-style interface that makes getting started easy. What truly sets SysMD apart is its integrated solver, enabling engineering calculations directly within the model while automatically ensuring consistency across constraints and requirements.

SysIDE provides SysML v2 language support in VS Code

A package manager for SysML v2 and KerML

The Swiss Army knife for SysML v2 — parse, validate, query, and modify models from the command line

Language Server for SysMLv2 and KerML, wrapping the OMG Pilot Implementation parser.

A Rust implementation of the OMG SysML v2 specification: parser, semantic model, execution runtime, LSP server, CLI, and REST/MCP APIs. Pre-alpha.

The SysML v2 Book -- a practical guide to textual SysML v2, taught against the OMG specification

API-first Python tooling for building, querying, validating, and automating SysML v2 models

Another system modeler — models as prose, tested by agents in the browser. A pure-browser, agent-focused modeling tool implementing a SysML v2–style notation (candidate, not certified).

DEAL compiler — Zig core + Rust CLI & LSP

DEAL language specification, EBNF grammar, and showcase corpus

Render SysML v2 textual models (.sysml) as diagrams — Mermaid plugin, CLI (sysml2svg), Language Server and VS Code extension.

NeoMLs – A set of next-generation modeling languages built on KerML. 一组基于 KerML 的新一代建模语言。