Universal-Variability-Language / uvl-parserLinks
☆11Updated last 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☆14Updated last week
- Language server protocol for the Universal Variability Language (UVL)☆11Updated 7 months ago
- Bottom-Up Technologies for Reuse☆18Updated 2 years ago
- Repository of teaching material for product lines and variability☆12Updated last year
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆155Updated this week
- Tool Support for Correctness-by-Construction☆28Updated last month
- The Melange Language Workbench☆29Updated last year
- Xtext/Sirius Integration☆21Updated 6 months ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- Tutorial: Building a language server for your DSL with Xtext☆27Updated last year
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- KeY Theorem Prover for Deductive Java Verification☆58Updated this week
- The Next Generation Logic Library☆145Updated 7 months ago
- this repository provide examples to embed Xtext in Sirius diagram editors.☆20Updated 6 years ago
- TurnKey artifact for Z3☆38Updated 2 weeks ago
- Java bindings for LLVM libraries☆8Updated 3 years ago
- This contains the examples for the book "Implementing Domain-Specific Languages with Xtext and Xtend, 2nd edition"☆75Updated 5 years ago
- Collection of helpful Xtext tools☆25Updated last year
- A multi-formalism, multi-solution model-checker centered on the language GAL☆25Updated 2 weeks ago
- ☆44Updated last year
- Fluent API generator☆41Updated last week
- some personal experiments with Xtext2☆12Updated 11 years ago
- Empirical Software Engineering journal (EMSE) open science and reproducible research initiative☆34Updated 7 months ago
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆136Updated 3 years ago
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆70Updated last year
- Some things I would like to see added to Xtext☆16Updated 10 years ago
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆43Updated 2 years ago
- Agda Library to Study the Expressive Power of Languages for Static Variability☆12Updated this week
- A curated list of awesome MPS extensions/libraries, software and resources.☆62Updated 3 weeks ago
- An Example for an Xtext Language Server☆55Updated 2 years ago