- Structurizr DSL - a way to create Structurizr software architecture models based upon the C4 model using a textual domain specific language (DSL).
- TLA+ - a high-level language for modeling programs and systems--especially concurrent and distributed ones.