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
  ☆134Updated this week
• emina / kodkod
  Kodkod solver for relational logic
  ☆74Updated last year
• jcabot / ocl-repository
  A repository for examples of all kinds of OCL (Object Constraint Language) expressions
  ☆24Updated 8 years ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆68Updated last month
• spechub / Hets
  The Heterogeneous Tool Set
  ☆58Updated 3 months ago
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆71Updated 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
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆51Updated 5 years ago
• uuverifiers / autosat
  Constructing automata with SAT solvers
  ☆8Updated 6 years ago
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆81Updated 2 months ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated 9 months ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• martinschaef / bixie
  Inconsistent Code Detection for Java
  ☆11Updated 4 years ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆94Updated this week
• AutomataDotNet / Automata
  Automata and transducer library for .NET
  ☆82Updated 4 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆29Updated 7 months ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆197Updated last year
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆48Updated 6 months ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆25Updated this week
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆66Updated this week
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆35Updated last year
• carneades / carneades-4
  Version 4 of Carneades, implemented in Go
  ☆52Updated 7 months ago
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 3 years ago
• ronwalf / swoop
  Automatically exported from code.google.com/p/swoop
  ☆33Updated 10 years ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆58Updated 3 years ago
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 10 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated last year
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆23Updated 9 years ago
• clowdr-app / clowdr-web-app
  Old Clowdr versions 1 & 2 from 2020
  ☆36Updated 4 years ago