Universal-Variability-Language / uvl-parserLinks
UVL (Universal Variability Language) is a concise and extensible language for modeling variability in software product lines. This repository is holding the grammar definition.
☆13Updated this week
Alternatives and similar repositories for uvl-parser
Users that are interested in uvl-parser are comparing it to the libraries listed below
Sorting:
- Material for lectures on software product lines☆15Updated 2 weeks ago
- Bottom-Up Technologies for Reuse☆18Updated 4 months ago
- Repository of teaching material for product lines and variability☆12Updated 2 years ago
- TurnKey artifact for Z3☆43Updated 3 months ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆168Updated 2 weeks ago
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆71Updated last year
- Fluent API generator☆42Updated 2 weeks ago
- JavaSMT - Unified Java API for SMT solvers.☆230Updated last week
- Gamification of Mutation Testing☆44Updated 3 weeks ago
- Adding declarative, reactive and incremental rules to MPS☆21Updated 3 weeks ago
- A curated list of awesome MPS extensions/libraries, software and resources.☆66Updated last month
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆34Updated 2 years ago
- An open-source Java library for Constraint Programming☆750Updated this week
- Tutorial: Building a language server for your DSL with Xtext☆27Updated 2 years ago
- The Melange Language Workbench☆30Updated 2 years ago
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆448Updated this week
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆140Updated 4 years ago
- Online partial evaluator for pure Prolog programs (with built-ins)☆12Updated 3 weeks ago
- ☆44Updated last month
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- JPL: The Prolog <-> Java interface☆58Updated last week
- This contains the examples for the book "Implementing Domain-Specific Languages with Xtext and Xtend, 2nd edition"☆74Updated 5 years ago
- Xtext/Sirius Integration☆21Updated last year
- Prolog plugin for Intellij IDEA☆28Updated 2 years ago
- Spoofax runtime☆160Updated 9 months ago
- A fluent API generator☆26Updated last week
- Proposal(s) to make EMF polyglot.☆11Updated 4 years ago
- Seven Languages in Seven Weeks (with Xtext)☆72Updated 2 years ago
- Security-focused static analyzer for Java and Kotlin web applications☆30Updated this week
- The Next Generation Logic Library☆151Updated last week