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 2 weeks ago
• but4reuse / but4reuse
  Bottom-Up Technologies for Reuse
  ☆18Updated 2 months ago
• svenefftinge / xtext-lsp-workshop
  Tutorial: Building a language server for your DSL with Xtext
  ☆27Updated 2 years ago
• 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…
  ☆163Updated last week
• eisop / checker-framework
  Pluggable type-checking for Java
  ☆25Updated 2 weeks ago
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆42Updated last month
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆138Updated last month
• xtext / seven-languages-xtext
  Seven Languages in Seven Weeks (with Xtext)
  ☆72Updated 2 years ago
• markusvoelter / mpsintrocourse
  ☆44Updated 3 months ago
• siemens / JMiniZinc
  JMiniZinc
  ☆18Updated 5 years ago
• chocoteam / choco-solver
  An open-source Java library for Constraint Programming
  ☆741Updated last 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
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆149Updated 4 months ago
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆229Updated last week
• modelix / modelix
  A collaborative and scalable open source platform for domain-specific models on the web and in the cloud
  ☆71Updated last year
• ModelingValueGroup / dclareForMPS
  Adding declarative, reactive and incremental rules to MPS
  ☆21Updated last week
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆68Updated 3 weeks ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 6 years ago
• premun / ingrid
  Ingrid is a JetBrains MPS plugin allowing the import of ANTLRv4 grammars and creation of an MPS language automatically out of the grammar
  ☆24Updated 6 years ago
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• robertzk / dummit-foote
  Some solutions to the Dummit & Foote abstract algebra textbook
  ☆13Updated 10 years ago
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆67Updated this week
• 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.
  ☆26Updated 8 years ago
• cdietrich / xtext-languageserver-example
  An Example for an Xtext Language Server
  ☆38Updated last week
• tyler-utah / PBL
  A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…
  ☆10Updated 10 years ago
• hhucn / dbas
  Welcome to D-BAS! This is a prototype of our dialog-based argumentation system.
  ☆22Updated 3 years ago
• CodeDefenders / CodeDefenders
  Gamification of Mutation Testing
  ☆44Updated last month
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆62Updated 3 weeks ago
• LearnLib / automatalib
  A free, open-source Java library for automata, graphs, and transition systems
  ☆98Updated last week