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:
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated 3 weeks ago
- Refinery: an efficient graph solver for generating well-formed models☆20Updated last week
- A clone of the sourceforge GnuCOBOL compiler from COBOL to C.☆46Updated last 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
- This repository hosts all the projects used in the MDSE Book☆15Updated 6 years ago
- MPS-extensions aims to ease language development within MPS.☆86Updated last week
- The primary repository for the Quorum Programming Language☆28Updated last week
- A reasoning system for large knowledge bases.☆33Updated last year
- Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages☆119Updated this week
- How to think like a programmer.☆38Updated last year
- A lazy-grounding Answer-Set Programming system☆62Updated 2 months ago
- Source code of Seed7☆411Updated this week
- Language based on Rewriting Logic☆158Updated last week
- A curated list of awesome model-driven engineering resources.☆22Updated last year
- A secure, embeddable, scripting language for Java-based applications.☆72Updated last 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
- C Intermediate Language☆158Updated this week
- A curated list of awesome transpilers. aka source-to-source compilers☆123Updated last year
- An extensible framework for feature-oriented software development☆139Updated 3 months ago
- AgileUML tools for MDE using UML☆20Updated last week
- The Melange Language Workbench☆30Updated 2 years ago
- A Python-based low-modeling low-code open-source platform for smart and AI-enhanced software☆141Updated this week
- A place for automata☆81Updated 2 months ago
- Some notes taken while working on Prolog☆193Updated last week
- ☆192Updated this week
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆24Updated 3 years ago
- Compiler☆14Updated last year
- Der Kompilierer der Deutschen Programmiersprache☆167Updated this week
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago