Alternatives and similar repositories for uvl-parser:

Users that are interested in uvl-parser are comparing it to the libraries listed below

• SoftVarE-Group / Course-on-Software-Product-Lines
  Material for lectures on software product lines
  ☆14Updated last month
• FAMILIAR-project / teaching
  Repository of teaching material for product lines and variability
  ☆12Updated last year
• but4reuse / but4reuse
  Bottom-Up Technologies for Reuse
  ☆18Updated last year
• OpenJML / OpenJML
  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…
  ☆151Updated last month
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆140Updated 4 months ago
• VariantSync / Vatras
  Agda Library to Study the Expressive Power of Languages for Static Variability
  ☆12Updated last week
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆131Updated last month
• Universal-Variability-Language / uvl-lsp
  Language server protocol for the Universal Variability Language (UVL)
  ☆11Updated 5 months ago
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆54Updated 3 weeks ago
• joliebig / featurehouse
  language independent software composition and merging
  ☆31Updated 8 years ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆95Updated 3 weeks ago
• eclipse-xsemantics / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆32Updated last year
• modelix / modelix
  A collaborative and scalable open source platform for domain-specific models on the web and in the cloud
  ☆69Updated last year
• svenefftinge / xtext-lsp-workshop
  Tutorial: Building a language server for your DSL with Xtext
  ☆27Updated last year
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago
• markusvoelter / mpsintrocourse
  ☆44Updated last year
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆217Updated this week
• KIT-TVA / CorC
  Tool Support for Correctness-by-Construction
  ☆27Updated last week
• mcoblenz / Glacier
  Glacier is a type annotation extension to Java that enforces transitive class immutability.
  ☆13Updated 3 years ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆63Updated this week
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆36Updated this week
• metaborg / spoofax
  Spoofax runtime
  ☆140Updated 2 months ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆67Updated last month
• TweetyProjectTeam / TweetyProject
  TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.
  ☆31Updated this week
• clowdr-app / clowdr-web-app
  Old Clowdr versions 1 & 2 from 2020
  ☆36Updated 4 years ago
• CampagneLaboratory / ANTLR_MPS
  An ANTLR language for MPS, and the ToMPS language to help create MPS languages and ANTRL visitors from an ANTLR 4 grammar.
  ☆25Updated 7 years ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆24Updated last month
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• ModelingValueGroup / dclareForMPS
  Adding declarative, reactive and incremental rules to MPS
  ☆21Updated last week
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago