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
  ☆15Updated last month
• FAMILIAR-project / teaching
  Repository of teaching material for product lines and variability
  ☆12Updated 2 years ago
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆43Updated 2 months ago
• but4reuse / but4reuse
  Bottom-Up Technologies for Reuse
  ☆18Updated 3 months ago
• 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…
  ☆168Updated 2 weeks ago
• svenefftinge / xtext-lsp-workshop
  Tutorial: Building a language server for your DSL with Xtext
  ☆27Updated 2 years ago
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆149Updated 5 months ago
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆138Updated 2 months ago
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆229Updated this week
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆68Updated this week
• modelix / modelix
  A collaborative and scalable open source platform for domain-specific models on the web and in the cloud
  ☆71Updated last year
• tomokinakamaru / silverchain
  Fluent API generator
  ☆42Updated last month
• ModelingValueGroup / dclareForMPS
  Adding declarative, reactive and incremental rules to MPS
  ☆21Updated last month
• eisop / checker-framework
  Pluggable type-checking for Java
  ☆25Updated last week
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆66Updated 3 weeks ago
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• LearnLib / automatalib
  A free, open-source Java library for automata, graphs, and transition systems
  ☆98Updated 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)…
  ☆34Updated 2 years ago
• jiprolog / jiprolog
  JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.
  ☆140Updated 4 years ago
• xtext / seven-languages-xtext
  Seven Languages in Seven Weeks (with Xtext)
  ☆72Updated 2 years ago
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆446Updated this week
• LorenzoBettini / packtpub-xtext-book-2nd-examples
  This contains the examples for the book "Implementing Domain-Specific Languages with Xtext and Xtend, 2nd edition"
  ☆74Updated 5 years ago
• siemens / JMiniZinc
  JMiniZinc
  ☆18Updated 5 years ago
• KIT-TVA / CorC
  Tool Support for Correctness-by-Construction
  ☆30Updated 2 months ago
• altran-mde / xtext-sirius-integration
  Xtext/Sirius Integration
  ☆21Updated last year
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆62Updated last month
• kelloggm / object-construction-checker
  An extension to the Java type system to catch badly-behaving builder patterns
  ☆11Updated 2 years ago
• cdietrich / xtext-languageserver-example
  An Example for an Xtext Language Server
  ☆39Updated last week
• itemis / xtext-languageserver-example
  An Example for an Xtext Language Server
  ☆55Updated 2 years ago
• nhatminhle / cofoja
  Contracts for Java
  ☆153Updated 6 years ago