Alternatives and similar repositories for featurehouse

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

• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆135Updated this week
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆73Updated 9 months ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆205Updated last year
• emina / kodkod
  Kodkod solver for relational logic
  ☆79Updated 2 years ago
• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆30Updated 6 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆76Updated last month
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆60Updated 4 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆50Updated this week
• mast-group / naturalize
  Source code for the Naturalize project
  ☆56Updated 10 years ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆62Updated last year
• 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
• spechub / Hets
  The Heterogeneous Tool Set
  ☆59Updated 3 weeks ago
• ronwalf / swoop
  Automatically exported from code.google.com/p/swoop
  ☆35Updated 10 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆119Updated last week
• m-westphal / gqr
  GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi
  ☆17Updated 7 years ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆33Updated last year
• rewriting / tom
  ☆34Updated 5 years ago
• tomgr / libcspm
  The library FDR3 uses for parsing, type checking and evaluating machine CSP.
  ☆30Updated 2 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 9 years ago
• kframework / java-semantics
  The semantics of Java in K
  ☆18Updated 4 years ago
• martinschaef / bixie
  Inconsistent Code Detection for Java
  ☆11Updated 4 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆149Updated 6 months ago
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆96Updated 2 years ago
• cesaro / cunf
  A model checker for safe Petri nets based on partial-order semantics
  ☆13Updated 4 years ago
• stefano-bragaglia / XHAIL
  System for eXtended Hybrid Abductive Inductive Learning
  ☆26Updated 4 years ago
• nwf / dyna
  Dyna2 compiler and REPL
  ☆147Updated 5 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆58Updated 16 years ago
• FormalLanguageConstrainedPathQuerying / CFPQ_Data
  Graphs and grammars for Context-Free Path Querying algorithms evaluation.
  ☆10Updated last year
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 3 weeks ago