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 3 weeks ago
• but4reuse / but4reuse
  Bottom-Up Technologies for Reuse
  ☆18Updated last week
• FAMILIAR-project / teaching
  Repository of teaching material for product lines and variability
  ☆12Updated 2 years 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…
  ☆161Updated last week
• KIT-TVA / CorC
  Tool Support for Correctness-by-Construction
  ☆29Updated last week
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆39Updated last week
• tomokinakamaru / silverchain
  Fluent API generator
  ☆41Updated this week
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆148Updated 2 months ago
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆229Updated this week
• pholser / junit-quickcheck
  Property-based testing, JUnit-style
  ☆972Updated 10 months ago
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆65Updated this week
• CodeDefenders / CodeDefenders
  Gamification of Mutation Testing
  ☆44Updated 2 weeks ago
• VariantSync / Vatras
  Agda Library to Study the Expressive Power of Languages for Static Variability
  ☆12Updated last week
• JUnitContest / JUGE
  junit tools contest infrastructure
  ☆13Updated last year
• acmsigsoft / EmpiricalStandards
  Tools and standards for conducting and evaluating research in software engineering
  ☆313Updated last month
• STAMP-project / dspot
  Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)
  ☆119Updated last year
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆135Updated last month
• martin-fleck / momot
  Marrying Search-based Optimization and Model Transformation Technology
  ☆18Updated 6 years ago
• WebFuzzing / Dataset
  Web Fuzzing Dataset (WFD): a set of web/enterprise applications for experimentation in automated system testing
  ☆38Updated last month
• SpoonLabs / spoon-examples
  Examples on how to use the Spoon Java source code transformation library
  ☆90Updated 3 years ago
• kelloggm / object-construction-checker
  An extension to the Java type system to catch badly-behaving builder patterns
  ☆11Updated 2 years ago
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆434Updated this week
• MathieuSoysal / Javadoc-publisher.yml
  Generate Javadoc from your maven/gradle project and deploy it with GitHub Page.
  ☆52Updated last month
• siemens / JMiniZinc
  JMiniZinc
  ☆18Updated 4 years ago
• svenefftinge / xtext-lsp-workshop
  Tutorial: Building a language server for your DSL with Xtext
  ☆27Updated 2 years ago
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• tsantalis / RefactoringMiner
  ☆449Updated this week
• OriRoth / fling
  A fluent API generator
  ☆25Updated last year
• eisop / checker-framework
  Pluggable type-checking for Java
  ☆23Updated this week
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆43Updated 2 years ago