Alternatives and similar repositories for featurehouse

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

• prova / prova
  ☆36Updated last year
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆73Updated 8 months ago
• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆30Updated 6 years ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆204Updated last year
• jMotif / GI
  Sequitur and RePair grammar induction algorithms implementation
  ☆27Updated last year
• emina / kodkod
  Kodkod solver for relational logic
  ☆78Updated 2 years ago
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 14 years ago
• ronwalf / swoop
  Automatically exported from code.google.com/p/swoop
  ☆34Updated 10 years ago
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆135Updated last month
• spechub / Hets
  The Heterogeneous Tool Set
  ☆59Updated 8 months 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
• ondrik / libvata
  VATA Tree Automata Library
  ☆33Updated 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
• m-westphal / gqr
  GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi
  ☆17Updated 7 years ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆61Updated last year
• graphik-team / graal
  Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
  ☆50Updated 3 years ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆60Updated 4 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• rishabhs / sygus-comp14
  ☆41Updated 6 years ago
• FormalLanguageConstrainedPathQuerying / CFPQ_Data
  Graphs and grammars for Context-Free Path Querying algorithms evaluation.
  ☆10Updated last year
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆50Updated this week
• stefano-bragaglia / XHAIL
  System for eXtended Hybrid Abductive Inductive Learning
  ☆26Updated 4 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆83Updated 3 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆68Updated last year
• metaborg / spoofax
  Spoofax runtime
  ☆149Updated 5 months ago
• namin / lms-verify
  generative programming & verification
  ☆33Updated 3 months ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 4 years ago