Grammatical Framework, a programming language for multilingual grammar applications, now in Arch

GF, a programming language for multilingual grammar applications is
http://aur.archlinux.org/packages.php?ID=39561.

GF provides many tools for multi-language programming, and can be considered:

• a special-purpose language for grammars, like YACC, Bison, Happy, BNFC, but not restricted to programming languages
• a functional language, like Haskell, Lisp, OCaml, Scheme, SML, but specialized to grammar writing
• a natural language processing framework, like LKB, XLE, Regulus, but based on functional programming and type theory
• a categorial grammar formalism, like ACG, CCG, but different and equipped with different tools
• a logical framework, like Agda, Coq, Isabelle, but equipped with concrete syntax in addition to logic

GF can be used for building

• text translators
• multilingual web gadgets
• speech translators
• natural-language interfaces
• multilingual authoring systems
• dialogue systems
• natural language resources

GF is written in Haskell.