Alternatives and similar repositories for featurehouse

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

• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated last year
• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆30Updated 6 years ago
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆72Updated 7 months ago
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 11 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆78Updated 2 years ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆61Updated last year
• shayan-najd / QFeldspar
  QFeldspar: a QDSL front-end for MiniFeldspar
  ☆14Updated 9 years ago
• plum-umd / java-sketch
  a Java front-end for Sketch synthesis tool
  ☆20Updated 7 months ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆203Updated last year
• prova / prova
  ☆36Updated last year
• ronwalf / swoop
  Automatically exported from code.google.com/p/swoop
  ☆34Updated 10 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆75Updated last year
• JeffreyBenjaminBrown / digraphs-with-text
  ☆65Updated 7 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
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 9 years ago
• GrammaticalFramework / GF
  Archive of monolithic GF repository until 2018-07-25
  ☆189Updated 7 years ago
• Paradoxika / Skeptik
  A library for Proof Theory (especially Proof Compression) in Scala.
  ☆34Updated 8 years ago
• stassa / THELEMA
  My MSc thesis: a grammar induction system
  ☆16Updated 9 years ago
• priorknowledge / loom
  A streaming cross-cat inference engine
  ☆49Updated 10 years ago
• IMCG / graph-theory-algorithms-book
  https://code.google.com/p/graph-theory-algorithms-book/
  ☆20Updated 9 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆67Updated last year
• enso-lang / enso
  ☆71Updated 5 years ago
• kowey / GenI
  Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar
  ☆21Updated 10 years ago
• ericfinster / orchard
  Orchard Opetopic Proof Assistant
  ☆27Updated 9 years ago
• padsproj / pads
  Pads format description language
  ☆21Updated 9 years ago
• namin / lms-verify
  generative programming & verification
  ☆33Updated 2 months ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆77Updated last month
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 14 years ago
• mjdominus / topology-doc
  Short introduction to topology for people who don't really care about topology
  ☆48Updated 14 years ago