kieler / pasta
VS Code extension for STPA-based risk analyses with interactive diagrams and integrations for fault trees, safe-by-construction behavior model generation, and verification.
☆20Updated 3 weeks ago
Alternatives and similar repositories for pasta:
Users that are interested in pasta are comparing it to the libraries listed below
- Java-based server framework of the graphical language server platform☆39Updated 2 weeks ago
- ecore-glsp☆31Updated 2 years ago
- Web-based client framework of the graphical language server platform☆47Updated 2 weeks ago
- Server implementation for the Sprotty diagramming framework☆24Updated 3 months ago
- Example diagram editors built with Eclipse GLSP☆46Updated last month
- KIELER Lightweight Diagams☆36Updated last week
- Language server for SQL in Langium☆25Updated 11 months ago
- sprotty-vscode☆58Updated 3 weeks ago
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆69Updated 11 months ago
- Components and frameworks for building web-based modeling tools☆46Updated last year
- A DSL for generating user interfaces, built with Langium☆18Updated last year
- Typir is an open source library for type checking in the web☆24Updated this week
- An example Xtext DSL in Theia with Sprotty visualisation☆73Updated 4 years ago
- Graphical language server platform for building web-based diagram editors☆206Updated last month
- Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages☆89Updated this week
- Integration of the web-based GLSP client with VSCode☆25Updated 3 weeks ago
- A Theia Application with DSL support through an Xtext Language Server☆29Updated 2 years ago
- Integration of the web-based GLSP client with Eclipse Theia☆23Updated 2 weeks ago
- A DSL for Domain-Driven Design☆14Updated 8 months ago
- An Example for an Xtext Language Server☆55Updated last year
- Web Native language Workbench with Projectional Web Editor☆69Updated this week
- The Melange Language Workbench☆29Updated last year
- ☆44Updated last year
- Modelserver component☆45Updated last month
- A UML web modeling tool based on GLSP, distributed via a VS Code extension.☆39Updated this week
- Node-based server framework of the graphical language server platform☆18Updated 2 weeks ago
- xtext-core☆117Updated last year
- Ecore and OCL runtime API for TypeScript and JavaScript☆26Updated 2 years ago
- A web page with a text editor for ELK Graph and a synchronized graphical view☆88Updated 4 months ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year