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 2 weeks ago
• but4reuse / but4reuse
  Bottom-Up Technologies for Reuse
  ☆18Updated 2 years ago
• FAMILIAR-project / teaching
  Repository of teaching material for product lines and variability
  ☆12Updated last year
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆38Updated this week
• KIT-TVA / CorC
  Tool Support for Correctness-by-Construction
  ☆29Updated 2 weeks ago
• modelix / modelix
  A collaborative and scalable open source platform for domain-specific models on the web and in the cloud
  ☆70Updated last year
• 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…
  ☆158Updated last week
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆226Updated this week
• ModelingValueGroup / dclareForMPS
  Adding declarative, reactive and incremental rules to MPS
  ☆21Updated last month
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆58Updated this week
• ModelingValueGroup / jdclare
  jdclare - a declarative engine by the Modeling Value Group
  ☆11Updated 5 years ago
• VariantSync / Vatras
  Agda Library to Study the Expressive Power of Languages for Static Variability
  ☆12Updated last week
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated last year
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆62Updated 2 weeks ago
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 2 years ago
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆426Updated last week
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆69Updated last week
• svenefftinge / xtext-lsp-workshop
  Tutorial: Building a language server for your DSL with Xtext
  ☆27Updated 2 years ago
• OriRoth / fling
  A fluent API generator
  ☆25Updated last year
• xtext / seven-languages-xtext
  Seven Languages in Seven Weeks (with Xtext)
  ☆71Updated 2 years ago
• ciao-lang / ciao
  Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
  ☆308Updated 3 weeks 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…
  ☆10Updated 10 years ago
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆24Updated 4 years ago
• eclipse-lsp4j / lsp4j
  A Java implementation of the language server protocol intended to be consumed by tools and language servers implemented in Java.
  ☆658Updated last month
• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆31Updated 2 months ago
• clowdr-app / clowdr-web-app
  Old Clowdr versions 1 & 2 from 2020
  ☆36Updated 4 years ago
• pietrobraione / sushi
  The SUSHI test case generator
  ☆22Updated last year
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆95Updated 2 weeks ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆25Updated 2 weeks ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆182Updated 5 years ago