Alternatives and similar repositories for featurehouse:

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

• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆129Updated 2 weeks ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆74Updated last year
• spechub / Hets
  The Heterogeneous Tool Set
  ☆57Updated this week
• galactose / wviews
  Wviews is an artificial intelligence system extension for generating world view answer sets for epistemic logic programs
  ☆8Updated 6 years ago
• LearnLib / alex
  Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automat…
  ☆36Updated 5 months ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated 5 months ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated 3 months 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
• se-sic / SPLConqueror
  SPL Conqueror is a library to learn the influence of configuration options of configurable software systems on non-functional properties.
  ☆23Updated 7 months ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆65Updated last year
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆23Updated 6 months ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆22Updated 5 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 4 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• ronwalf / swoop
  Automatically exported from code.google.com/p/swoop
  ☆33Updated 9 years ago
• cesaro / cunf
  A model checker for safe Petri nets based on partial-order semantics
  ☆13Updated 4 years ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆34Updated 11 months ago
• wholeplatform / whole
  Whole Platform Language Workbench
  ☆27Updated 7 months ago
• but4reuse / but4reuse
  Bottom-Up Technologies for Reuse
  ☆18Updated last year
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated last year
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆43Updated 3 months ago
• eclipse / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆32Updated last year
• clowdr-app / clowdr-web-app
  Old Clowdr versions 1 & 2 from 2020
  ☆36Updated 4 years ago
• seba-- / sugarj
  Library-based Language Extensibility
  ☆39Updated 10 years ago
• uuverifiers / autosat
  Constructing automata with SAT solvers
  ☆8Updated 6 years ago
• tyler-utah / PBDD
  A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…
  ☆14Updated 11 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆68Updated 5 months ago
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 10 years ago
• softvis-research / Getaviz
  With Getaviz you can solve software engineering problems visually by exploring software artifacts them in 2D, 3D, and virtual reality.
  ☆50Updated last year
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year