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.
☆11Updated last month
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 this week
- Bottom-Up Technologies for Reuse☆18Updated last month
- Repository of teaching material for product lines and variability☆12Updated 2 years 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…☆162Updated last week
- TurnKey artifact for Z3☆41Updated this week
- ☆44Updated 2 months ago
- JavaSMT - Unified Java API for SMT solvers.☆229Updated last week
- Property-based testing, JUnit-style☆973Updated 11 months ago
- This contains the examples for the book "Implementing Domain-Specific Languages with Xtext and Xtend, 2nd edition"☆74Updated 5 years ago
- An extensible framework for feature-oriented software development☆135Updated this week
- Gamification of Mutation Testing☆44Updated last month
- Adding declarative, reactive and incremental rules to MPS☆21Updated 3 months ago
- Agda Library to Study the Expressive Power of Languages for Static Variability☆13Updated last week
- The Next Generation Logic Library☆147Updated 3 months ago
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆71Updated last year
- Eclipse Xtext™ is a language development framework☆808Updated last week
- A curated list of awesome MPS extensions/libraries, software and resources.☆64Updated last week
- How to think like a programmer.☆38Updated last year
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆139Updated 4 years ago
- JPL: The Prolog <-> Java interface☆57Updated last week
- jdclare - a declarative engine by the Modeling Value Group☆11Updated 5 years ago
- Tutorial: Building a language server for your DSL with Xtext☆27Updated 2 years ago
- An ANTLR language for MPS, and the ToMPS language to help create MPS languages and ANTRL visitors from an ANTLR 4 grammar.☆25Updated 8 years ago
- Spoofax runtime☆149Updated 6 months ago
- The Melange Language Workbench☆29Updated 2 years ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 6 years ago
- Property based testing for Java 8☆512Updated 5 years ago
- Ingrid is a JetBrains MPS plugin allowing the import of ANTLRv4 grammars and creation of an MPS language automatically out of the grammar☆23Updated 6 years ago
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆437Updated this week
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆43Updated 2 years ago