Alternatives and similar repositories for ecco

Users that are interested in ecco are comparing it to the libraries listed below

• marcusvnac / argouml-spl
  A product line variant of ArgoUML. ArgoUML is the leading open source UML modeling tool and includes support for all standard UML 1.4 dia…
  ☆6Updated 9 years ago
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆134Updated this week
• se-sic / cppstats
  toolsuite for analyzing cpp-preprocessor-based software product lines
  ☆12Updated last year
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆78Updated 3 years ago
• se-sic / jdime
  syntactic merge tool for java
  ☆20Updated last year
• eclipse-xsemantics / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆32Updated last year
• 101companies / 101repo
  101companies contributions
  ☆42Updated last year
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆61Updated 3 years ago
• meinicke / VarexJ
  A Variability-Aware Interpreter for Java Applications
  ☆11Updated 4 years ago
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆94Updated 3 years ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆66Updated this week
• altran-mde / xtext-sirius-integration
  Xtext/Sirius Integration
  ☆21Updated 5 months ago
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 3 years ago
• adisandro / MMINT
  An Eclipse-based workbench for INTeractive Model Management
  ☆17Updated this week
• 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…
  ☆155Updated last week
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆94Updated this week
• ArchitectingSoftware / Bunch
  ☆14Updated 2 years ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆68Updated last month
• KIT-TVA / CorC
  Tool Support for Correctness-by-Construction
  ☆28Updated 2 weeks ago
• SpoonLabs / coming
  A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…
  ☆97Updated 6 months ago
• osl / jcute
  Java Concolic Unit Testing Engine
  ☆88Updated 10 years ago
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated last year
• clowdr-app / clowdr-web-app
  Old Clowdr versions 1 & 2 from 2020
  ☆36Updated 4 years ago
• jeffoffutt / muJava
  Mutation system for Java programs, including OO mutation operators.
  ☆67Updated 6 years ago
• 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
• Refactoring-Bot / Refactoring-Bot
  Implementing the vision of an autonomous bot to eliminate code smells through automatic refactoring.
  ☆61Updated 2 years ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆184Updated 3 years ago
• sed-inf-u-szeged / OpenStaticAnalyzer
  OpenStaticAnalyzer is a source code analyzer tool, which can perform deep static analysis of the source code of complex systems.
  ☆46Updated 2 years ago
• ctreude / nlp2code
  NLP2Code: Code Snippet Content Assist via Natural Language Tasks
  ☆34Updated 5 years ago