Alternatives and similar repositories for featurehouse

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

• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆210Updated last year
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆73Updated last year
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 11 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆82Updated 2 years ago
• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆30Updated 7 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 17 years ago
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆58Updated this week
• cesaro / cunf
  A model checker for safe Petri nets based on partial-order semantics
  ☆13Updated 5 years ago
• m-westphal / gqr
  GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi
  ☆18Updated 8 years ago
• jcabot / ocl-repository
  A repository for examples of all kinds of OCL (Object Constraint Language) expressions
  ☆25Updated 9 years ago
• prova / prova
  ☆36Updated 2 years ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆62Updated this week
• stefano-bragaglia / XHAIL
  System for eXtended Hybrid Abductive Inductive Learning
  ☆26Updated 4 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
• ondrik / libvata
  VATA Tree Automata Library
  ☆34Updated last year
• JeffreyBenjaminBrown / digraphs-with-text
  ☆65Updated 7 years ago
• priorknowledge / loom
  A streaming cross-cat inference engine
  ☆49Updated 11 years ago
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 15 years ago
• jMotif / GI
  Sequitur and RePair grammar induction algorithms implementation
  ☆28Updated 2 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆49Updated 5 years ago
• ronwalf / swoop
  Automatically exported from code.google.com/p/swoop
  ☆36Updated 10 years ago
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆139Updated 2 months ago
• GrammaticalFramework / GF
  Archive of monolithic GF repository until 2018-07-25
  ☆190Updated 7 years ago
• IMCG / graph-theory-algorithms-book
  https://code.google.com/p/graph-theory-algorithms-book/
  ☆21Updated 10 years ago
• rndmcnlly / ansunit
  Declarative unit testing for Answer Set Programming projects
  ☆12Updated 7 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆79Updated 4 months ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 9 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆60Updated 3 months ago
• windsteiger / Theorema
  Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
  ☆74Updated 4 years ago
• namin / lms-verify
  generative programming & verification
  ☆34Updated 7 months ago