vitruv-tools / Vitruv
View-based Development and Model Consistency Framework
☆17Updated this week
Alternatives and similar repositories for Vitruv:
Users that are interested in Vitruv are comparing it to the libraries listed below
- Building Training Datasets for Deep Learning Models in Software Engineering and Empirical Software Engineering Research☆21Updated 9 months ago
- Java bindings for LLVM libraries☆8Updated 3 years ago
- test driver to run JUnit tests isolated in a new JVM☆16Updated 3 months ago
- An extensible framework for feature-oriented software development☆131Updated last month
- ☆17Updated 2 weeks ago
- Refinery: an efficient graph solver for generating well-formed models☆16Updated this week
- Automatic grading of student's Java code☆15Updated last week
- TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.☆31Updated this week
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆29Updated 2 weeks ago
- KeY Theorem Prover for Deductive Java Verification☆54Updated this week
- A code refactoring tool for java created with jgit and spoon for small diffs.☆18Updated this week
- gemoc-studio☆26Updated 3 weeks ago
- Graphical language server platform for building web-based diagram editors☆38Updated 5 years ago
- Integration of the web-based GLSP client with VSCode☆25Updated this week
- ☆14Updated last month
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆18Updated 4 months ago
- ☆19Updated 2 months ago
- Modelserver component☆45Updated last month
- Eclipse Lyo, a Java SDK for OSLC-based tool integration☆18Updated this week
- The Next Generation Logic Library☆140Updated 4 months ago
- Eclipse Xtext™ Libraries☆19Updated last year
- Multi-backend EMF persistence framework.☆52Updated last month
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- ☆30Updated 2 years ago
- An Xtext DSL for EMF metamodels refactoring and migration☆12Updated this week
- Java-based server framework of the graphical language server platform☆39Updated last month
- Unit Conversion and related functionality for over 1700 units, based on the awesome QUDT ontology.☆15Updated 2 months ago
- A framework for defining ratings for open source projects. In particular, the framework offers a security rating for open source projects…☆61Updated this week
- ☆12Updated 2 months ago
- The Melange Language Workbench☆29Updated last year