openETCS / toolchain
WP7: Top Level Project for the toolchain
☆27Updated 9 years ago
Alternatives and similar repositories for toolchain
Users that are interested in toolchain are comparing it to the libraries listed below
Sorting:
- Server implementation for the Sprotty diagramming framework☆24Updated 6 months ago
- The next generation MBEE (4.0 Execubots) microservices and API hub. This repository hosts MBEE Core Framework (MCF) which will serve a pa…☆14Updated last year
- Chimera: Execution Engine for Case Management☆14Updated 4 years ago
- Data abstraction, storage, discovery, and serving system☆32Updated last month
- TypeDB Driver for Node.js☆32Updated last year
- Terminus DB Schemas - Formal descriptions and documentation of all the internal data structures used by Terminus DB☆10Updated 5 years ago
- action language providing open class mechanism to xtend/java☆25Updated last year
- KIELER Lightweight Diagams☆36Updated this week
- A collection of resources to dive into making OSLC applications☆17Updated 6 months ago
- Actor-based Runtime Verification Tool☆17Updated 2 years ago
- A yeoman generator that scaffolds a yFiles for HTML powered application. Requires local yFiles package (https://www.yworks.com/yfileshtml…☆22Updated 2 years ago
- Type checking and logical inference for JetBrains MPS☆32Updated last month
- MPS-extensions aims to ease language development within MPS.☆87Updated this week
- COMODO2 is a Java tool that allows to transform a UML/SysML model into code for different software platforms.☆25Updated last year
- Source code for 'Models to Code' by Leon Starr, Andrew Mangogna, and Stephen Mellor☆17Updated 7 years ago
- ☆11Updated 7 years ago
- Docker images for SWI-Prolog☆16Updated last month
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago
- This repository is archived and moved to Monorepo https://github.com/rxdi/rxdi-monorepo/tree/master/packages/core☆11Updated 3 years ago
- A *future* location for the JSON Hyper-Schema I-D sources.☆16Updated last year
- The Object Constraint Language (OCL) is a language for describing rules that apply to MOF conform modelling languages like UML. The OCL i…☆57Updated this week
- A curated list of awesome model-driven engineering resources.☆20Updated 7 months ago
- Useful resources for the Frege programming language☆30Updated 3 years ago
- Reinforcement learning framework to find and analyze the likeliest failures of a system under test.☆13Updated last year
- A web-based repository for distributed ontologies.☆32Updated 7 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- Integration of Sprotty diagrams into Theia IDE☆24Updated 2 months ago
- AgileUML tools for MDE using UML☆19Updated this week
- W3C Federated Infrastructures Community Group☆21Updated 4 years ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 3 months ago