Alternatives and similar repositories for featurehouse

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

• mast-group / naturalize
  Source code for the Naturalize project
  ☆56Updated 9 years ago
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆71Updated 5 months ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆77Updated 2 years ago
• galactose / wviews
  Wviews is an artificial intelligence system extension for generating world view answer sets for epistemic logic programs
  ☆8Updated 7 years ago
• jMotif / GI
  Sequitur and RePair grammar induction algorithms implementation
  ☆26Updated last year
• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆28Updated 6 years ago
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 10 years ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆197Updated last year
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated last year
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated 11 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…
  ☆10Updated 10 years ago
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆126Updated this week
• rndmcnlly / ansunit
  Declarative unit testing for Answer Set Programming projects
  ☆12Updated 7 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• ucbvislab / vdigests
  ☆16Updated 4 years ago
• ronwalf / swoop
  Automatically exported from code.google.com/p/swoop
  ☆33Updated 10 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆58Updated 5 months ago
• FormalLanguageConstrainedPathQuerying / CFPQ_Data
  Graphs and grammars for Context-Free Path Querying algorithms evaluation.
  ☆10Updated 10 months ago
• stefano-bragaglia / XHAIL
  System for eXtended Hybrid Abductive Inductive Learning
  ☆25Updated 4 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆116Updated 2 weeks ago
• rewriting / tom
  ☆34Updated 4 years ago
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆65Updated 4 years ago
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• mast-group / tassal
  Tree-based Autofolding Software Summarization Algorithm
  ☆42Updated 8 years ago
• m-westphal / gqr
  GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi
  ☆17Updated 7 years ago
• graphik-team / graal
  Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
  ☆47Updated 3 years ago
• nwf / dyna
  Dyna2 compiler and REPL
  ☆146Updated 5 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 9 months ago
• AutomataDotNet / Automata
  Automata and transducer library for .NET
  ☆82Updated 4 years ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆51Updated 5 years ago