useocl / useLinks
Home of the UML-based Specification Environment (USE)
☆60Updated 3 weeks ago
Alternatives and similar repositories for use
Users that are interested in use are comparing it to the libraries listed below
Sorting:
- An Xtext DSL for EMF metamodels refactoring and migration☆12Updated last week
- Epsilon is a family of Java-based scripting languages for automating common model-based software engineering tasks, such as code generati…☆76Updated 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…☆22Updated 5 months ago
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.☆31Updated 2 weeks ago
- A Python-based low-modeling low-code platform for smart and AI-enhanced software☆93Updated this week
- Generate Javadoc from your maven/gradle project and deploy it with GitHub Page.☆49Updated 3 weeks ago
- Refinery: an efficient graph solver for generating well-formed models☆17Updated last week
- The Next Generation Logic Library☆142Updated 6 months ago
- The Melange Language Workbench☆29Updated last year
- Kotlin Language Support – AST Library☆111Updated 2 weeks ago
- Coco/R for Java☆14Updated 3 years ago
- A reasoning system for large knowledge bases.☆30Updated 5 months ago
- xtext-extras☆20Updated 2 years ago
- Miscellaneous tasks that were found useful when building MPS-based projects with Gradle.☆15Updated last week
- MPS-extensions aims to ease language development within MPS.☆87Updated this week
- xtext-core☆117Updated 2 years ago
- MontiCore is a language workbench for an efficient development of domain-specific languages.☆88Updated this week
- KeY Theorem Prover for Deductive Java Verification☆56Updated this week
- The CongoCC Parser Generator, the Next Generation of JavaCC 21, which in turn was the next generation of JavaCC☆40Updated last week
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆23Updated 2 years ago
- Java bindings for LLVM libraries☆8Updated 3 years ago
- Fulib is a library that provides code generation for UML like models and some model management functionalities.☆13Updated last month
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated this week
- 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
- AgileUML tools for MDE using UML☆20Updated this week
- gemoc-studio☆27Updated 3 months ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆52Updated 2 years ago
- Language Server Protocol support in Eclipse IDE☆72Updated this week
- ☆64Updated 10 months ago