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 3 weeks ago
• but4reuse / but4reuse
  Bottom-Up Technologies for Reuse
  ☆18Updated last year
• FAMILIAR-project / teaching
  Repository of teaching material for product lines and variability
  ☆12Updated last year
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆141Updated 5 months ago
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated last year
• KIT-TVA / CorC
  Tool Support for Correctness-by-Construction
  ☆28Updated this week
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆36Updated 2 weeks 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…
  ☆153Updated last month
• modelix / modelix
  A collaborative and scalable open source platform for domain-specific models on the web and in the cloud
  ☆69Updated last year
• siemens / JMiniZinc
  JMiniZinc
  ☆16Updated 4 years ago
• VariantSync / Vatras
  Agda Library to Study the Expressive Power of Languages for Static Variability
  ☆12Updated 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
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆132Updated this week
• xtext / seven-languages-xtext
  Seven Languages in Seven Weeks (with Xtext)
  ☆71Updated 2 years ago
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆54Updated this week
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆24Updated 2 weeks ago
• jiprolog / jiprolog
  JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.
  ☆135Updated 3 years ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago
• svenefftinge / xtext-lsp-workshop
  Tutorial: Building a language server for your DSL with Xtext
  ☆27Updated last year
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆62Updated last month
• MontiCore / monticore
  MontiCore is a language workbench for an efficient development of domain-specific languages.
  ☆87Updated this week
• abstools / abstools
  The ABS modeling language and surrounding tools
  ☆37Updated last week
• meelgroup / KCBox
  A toolbox for knowledge compilation
  ☆21Updated 2 weeks ago
• altran-mde / xtext-sirius-integration
  Xtext/Sirius Integration
  ☆21Updated 4 months ago
• ModelingValueGroup / dclareForMPS
  Adding declarative, reactive and incremental rules to MPS
  ☆21Updated 3 weeks ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆60Updated 2 months ago
• haslab / Electrum
  A model checker for relational first-order temporal specifications
  ☆27Updated 3 years ago
• 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…
  ☆9Updated 9 years ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago