Alternatives and similar repositories for featurehouse

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

• emina / kodkod
  Kodkod solver for relational logic
  ☆80Updated 2 years ago
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆73Updated 10 months ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆208Updated last year
• AutomataDotNet / Automata
  Automata and transducer library for .NET
  ☆81Updated 5 years ago
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 15 years ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆33Updated last year
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆138Updated last month
• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆30Updated 7 years ago
• stefano-bragaglia / XHAIL
  System for eXtended Hybrid Abductive Inductive Learning
  ☆26Updated 4 years ago
• mast-group / naturalize
  Source code for the Naturalize project
  ☆56Updated 10 years ago
• prova / prova
  ☆36Updated last year
• rndmcnlly / ansunit
  Declarative unit testing for Answer Set Programming projects
  ☆12Updated 7 years ago
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆37Updated last week
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 2 months ago
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆85Updated last week
• nwf / dyna
  Dyna2 compiler and REPL
  ☆147Updated 5 years ago
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 11 years ago
• priorknowledge / loom
  A streaming cross-cat inference engine
  ☆48Updated 10 years ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆62Updated last year
• cmuvariability / PaperReadingGroup
  ☆10Updated 10 years ago
• jMotif / GI
  Sequitur and RePair grammar induction algorithms implementation
  ☆27Updated 2 years ago
• acieroid / scala-am
  (Abstract) Abstract Machine Experiments using Scala
  ☆36Updated 4 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 4 years 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
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆62Updated 2 weeks ago
• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 7 years ago
• eclipse-xsemantics / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆34Updated 2 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆50Updated last month
• GrammaticalFramework / GF
  Archive of monolithic GF repository until 2018-07-25
  ☆189Updated 7 years ago