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
• 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 this week
• but4reuse / but4reuse
  Bottom-Up Technologies for Reuse
  ☆18Updated last month
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated 2 years ago
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆42Updated 3 weeks ago
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆229Updated 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
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆66Updated this week
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆149Updated 3 months ago
• graphs4value / refinery
  Refinery: an efficient graph solver for generating well-formed models
  ☆17Updated last week
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆66Updated last month
• 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
• eclipse-xsemantics / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆34Updated last year
• jdmota / java-typestate-checker
  JaTyC: a typestate checker for Java
  ☆17Updated 2 months ago
• useocl / use
  Home of the UML-based Specification Environment (USE)
  ☆65Updated last week
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆98Updated last month
• BESSER-PEARL / B-OCL-Interpreter
  B-OCL is a tool designed to parse and evaluate the OCL constraints designed on BESSER models. It is a python based implementation that ut…
  ☆23Updated 2 months ago
• metaborg / spoofax
  Spoofax runtime
  ☆150Updated 6 months ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆68Updated last week
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆57Updated 2 weeks ago
• kelloggm / object-construction-checker
  An extension to the Java type system to catch badly-behaving builder patterns
  ☆11Updated 2 years ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆62Updated 2 weeks ago
• tomokinakamaru / silverchain
  Fluent API generator
  ☆41Updated 3 weeks ago
• markusvoelter / mpsintrocourse
  ☆44Updated 2 months ago
• TermCOMP / TPDB
  The Termination Problem Database
  ☆29Updated 3 months ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆70Updated 4 months ago
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• MontiCore / monticore
  MontiCore is a language workbench for an efficient development of domain-specific languages.
  ☆96Updated last week
• 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