useocl / useLinks
Home of the UML-based Specification Environment (USE)
☆70Updated 2 months ago
Alternatives and similar repositories for use
Users that are interested in use are comparing it to the libraries listed below
Sorting:
- The Melange Language Workbench☆30Updated 2 years ago
- BlueJ and Greenfoot☆131Updated this week
- B-OCL is a tool designed to parse and evaluate the OCL constraints designed on BESSER models. It is a python based implementation that ut…☆24Updated 2 months ago
- ☆72Updated last year
- A curated list of awesome model-driven engineering resources.☆21Updated last year
- MPS-extensions aims to ease language development within MPS.☆86Updated this week
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆34Updated 2 years ago
- Open-source implementation of the Action Language for fUML (Alf) specification.☆31Updated 2 years ago
- The Corporate Bullshit Generator☆14Updated last month
- Language based on Rewriting Logic☆157Updated last week
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated last week
- Refinery: an efficient graph solver for generating well-formed models☆20Updated last month
- Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.☆64Updated 2 years ago
- This repository hosts all the projects used in the MDSE Book☆15Updated 6 years ago
- A clone of the sourceforge GnuCOBOL compiler from COBOL to C.☆45Updated last month
- Parallel Specification and Implementation Language☆49Updated 2 weeks ago
- A curated list of awesome transpilers. aka source-to-source compilers☆118Updated last year
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆24Updated 3 years ago
- Flybytes is an intermediate language between JVM bytecode and software languages (DSLs, PLs), for compilation and decompilation.☆20Updated last month
- An extensible framework for feature-oriented software development☆139Updated 2 months ago
- Starlasu - A Language Engineering Framework☆114Updated last week
- ProLeap ANTLR4-based parser for COBOL☆185Updated last year
- like self-html... but for DSLs☆11Updated 4 years ago
- ☆22Updated 3 years ago
- C Intermediate Language☆159Updated this week
- Toolkit for grammars☆98Updated this week
- Web Native language Workbench with Projectional Web Editor☆74Updated last week
- Source code of Seed7☆409Updated this week
- The next generation of ANTLR, a powerful parser generator for reading, processing, executing, or translating structured text or binary fi…☆109Updated 3 weeks ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆58Updated 5 months ago