From b21fe037352bbbe55a1d30515c278d21f964bdec Mon Sep 17 00:00:00 2001 From: bjorn Date: Wed, 27 Feb 2008 15:13:11 +0000 Subject: Rename index.html to homepage.html. --- homepage.html | 316 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ index.html | 316 ---------------------------------------------------------- 2 files changed, 316 insertions(+), 316 deletions(-) create mode 100644 homepage.html delete mode 100644 index.html diff --git a/homepage.html b/homepage.html new file mode 100644 index 000000000..dabe7a100 --- /dev/null +++ b/homepage.html @@ -0,0 +1,316 @@ + +GF Version 2.9 + + + + +
+ + +

Grammatical Framework

+ +

Version 2.9

+ +December 21, 2007. + +

+ +

+ +
+ +Documentation +| +Download +| +LatestCode +| +QuickStart +| +Tutorial +| +ReferenceManual +| +Libraries +| +NumeralDemo +| +LetterDemo + + +
+ +

+ +

News

+ +

+ +December 21, 2007. +

+ +

+ +News before 2.9. + + +

What is GF?

+ +The Grammatical Framework (=GF) is a grammar formalism based on type +theory. It consists of + +The compiler reads +GF grammars from user-provided files, +and the generic grammar processor performs +various tasks with the grammars: + +GF particularly addresses four aspects of grammars: + +GF provides an easy way to experiment with grammars written in +different formats, including the ubiquitous BNF and EBNF formats. +The GF compilation chart gives a +summary of the supported input and output formats (the nodes in ellipses). + +
+ +For instance, if you want to create a finite-state automaton +in the HTK SLF format (to use for speech recognition), all you have to do +is to write an EBNF grammar in a file foo.ebnf and type +
+  echo "pg -printer=slf" | gf foo.ebnf
+
+ + + +

License

+ +GF is open-source software licensed under +GNU General Public License (GPL). + +

+ +The GF Grammar Libraries are licensed under +GNU Lesser General Public License (LGPL). + + + +

Examples and demos

+ +Numeral +translator: recognizes and generates +numbers from 1 to 999,999 in 80 languages. +(The link goes to a live applet, which requires +Java 1.5 plugin. +Here is an example, which does +not require the plugin.) + +

+ +Letter +editor: +write simple letters in English, Finnish, +French, Swedish, and Russian with a few mouse clicks. + +

+ +Demo film +of a multimodal dialogue system built with embedded grammars. + +

+ +Example grammars used in the +GF tutorial. + +

+ +Resource grammar library: +basic structures of ten languages +(Danish, English, Finnish, French, German, +Italian, Norwegian, Russian, Spanish, Swedish). +Resource grammars can be used as libraries for writing GF +applications, +but they can also be useful for language training. + + + +

Executable programs

+ +GF is available for +several platforms: Linux, Mac OS X, Microsoft Windows, and Sun OS. +To get GF, go to the +Download Page. + + +

Quick start

+ +When you have downloaded and installed GF, you can try one of the +quick start examples. + + + +

Source code

+ +The main part of GF is written in +Haskell. + +

+ +The platform-independent graphical user interface is written in +Java. + + +

+ +The Download Page +gives links to source and binary packages, as well as +information on compiler requirements. + +

+ +The publicly accessible + +Darcs repository +has the latest sources and documents. + +

+ +For Java programmers: GF grammars can be embedded in Java programs by using the + +Embedded GF Interpreter. + + + + +

Documents

+ + +See the Documentation page. + + + +

Projects and events

+ +
  • WebALT, +Web Advanced Learning Technologies. GF is used as for generating multilingual +teaching material in mathematics. + +
  • TALK = Tools for Ambient Linguistic +Knowledge. GF was used in implementing multimodal and multilingual dialogue systems. + +
  • KeY project on Integrated Deductive +Software Design. GF was used for +authoring informal and formal specifications. More details on the GF +application + +here. + +
  • +Project Efficient +at Tudor Institute, Luxembourg, "atelier de prototypage de transactions d'e-commerce". +GF is used as an authoring tool for business models. + + + +

    Miscellaneous

    + + +
  • + +GFCC: +report on a compiler from a fragment of C to JVM, written in GF. +The compiler source code can be found in the directory +examples/gfcc in the GF grammar library +(see GF download page). + +
  • +The original +GF Xerox Home Page +with the oldest releases of and documents on GF, up to Version 0.54, 1999, +does not seem to exist any more. + + +
  • +Earlier application: + + Natural-Language Interface to the proof editor Alfa. + +
  • +The BNF Converter. +A GF spin-off customized for the description of programming +languages. + +
  • + +The Functional +Morphology project. Creating infrastructure for GF and other +linguistic applications. + + +
    • + +

    Authors

    + +The +Languge Technology Group. +More details on the + +Authors and Acknowledgements page. + + +

    Implementation project

    + +Want to become a GF developer? Contact +Aarne Ranta. +Or just get the sources and start hacking. + +

    + +And register to the +GF User's Mailing List! + +

    + +Last modified by + +Aarne Ranta, +December 21, 2007. + + diff --git a/index.html b/index.html deleted file mode 100644 index dabe7a100..000000000 --- a/index.html +++ /dev/null @@ -1,316 +0,0 @@ - -GF Version 2.9 - - - - -
    - - -

    Grammatical Framework

    - -

    Version 2.9

    - -December 21, 2007. - -

    - -

    - -
    - -Documentation -| -Download -| -LatestCode -| -QuickStart -| -Tutorial -| -ReferenceManual -| -Libraries -| -NumeralDemo -| -LetterDemo - - -
    - -

    - -

    News

    - -

    - -December 21, 2007. -

    - -

    - -News before 2.9. - - -

    What is GF?

    - -The Grammatical Framework (=GF) is a grammar formalism based on type -theory. It consists of - -The compiler reads -GF grammars from user-provided files, -and the generic grammar processor performs -various tasks with the grammars: - -GF particularly addresses four aspects of grammars: - -GF provides an easy way to experiment with grammars written in -different formats, including the ubiquitous BNF and EBNF formats. -The GF compilation chart gives a -summary of the supported input and output formats (the nodes in ellipses). - -
    - -For instance, if you want to create a finite-state automaton -in the HTK SLF format (to use for speech recognition), all you have to do -is to write an EBNF grammar in a file foo.ebnf and type -
    -  echo "pg -printer=slf" | gf foo.ebnf
-
    - - - -

    License

    - -GF is open-source software licensed under -GNU General Public License (GPL). - -

    - -The GF Grammar Libraries are licensed under -GNU Lesser General Public License (LGPL). - - - -

    Examples and demos

    - -Numeral -translator: recognizes and generates -numbers from 1 to 999,999 in 80 languages. -(The link goes to a live applet, which requires -Java 1.5 plugin. -Here is an example, which does -not require the plugin.) - -

    - -Letter -editor: -write simple letters in English, Finnish, -French, Swedish, and Russian with a few mouse clicks. - -

    - -Demo film -of a multimodal dialogue system built with embedded grammars. - -

    - -Example grammars used in the -GF tutorial. - -

    - -Resource grammar library: -basic structures of ten languages -(Danish, English, Finnish, French, German, -Italian, Norwegian, Russian, Spanish, Swedish). -Resource grammars can be used as libraries for writing GF -applications, -but they can also be useful for language training. - - - -

    Executable programs

    - -GF is available for -several platforms: Linux, Mac OS X, Microsoft Windows, and Sun OS. -To get GF, go to the -Download Page. - - -

    Quick start

    - -When you have downloaded and installed GF, you can try one of the -quick start examples. - - - -

    Source code

    - -The main part of GF is written in -Haskell. - -

    - -The platform-independent graphical user interface is written in -Java. - - -

    - -The Download Page -gives links to source and binary packages, as well as -information on compiler requirements. - -

    - -The publicly accessible - -Darcs repository -has the latest sources and documents. - -

    - -For Java programmers: GF grammars can be embedded in Java programs by using the - -Embedded GF Interpreter. - - - - -

    Documents

    - - -See the Documentation page. - - - -

    Projects and events

    - -
  • WebALT, -Web Advanced Learning Technologies. GF is used as for generating multilingual -teaching material in mathematics. - -
  • TALK = Tools for Ambient Linguistic -Knowledge. GF was used in implementing multimodal and multilingual dialogue systems. - -
  • KeY project on Integrated Deductive -Software Design. GF was used for -authoring informal and formal specifications. More details on the GF -application - -here. - -
  • -Project Efficient -at Tudor Institute, Luxembourg, "atelier de prototypage de transactions d'e-commerce". -GF is used as an authoring tool for business models. - - - -

    Miscellaneous

    - - -
  • - -GFCC: -report on a compiler from a fragment of C to JVM, written in GF. -The compiler source code can be found in the directory -examples/gfcc in the GF grammar library -(see GF download page). - -
  • -The original -GF Xerox Home Page -with the oldest releases of and documents on GF, up to Version 0.54, 1999, -does not seem to exist any more. - - -
  • -Earlier application: - - Natural-Language Interface to the proof editor Alfa. - -
  • -The BNF Converter. -A GF spin-off customized for the description of programming -languages. - -
  • - -The Functional -Morphology project. Creating infrastructure for GF and other -linguistic applications. - - -
    • - -

    Authors

    - -The -Languge Technology Group. -More details on the - -Authors and Acknowledgements page. - - -

    Implementation project

    - -Want to become a GF developer? Contact -Aarne Ranta. -Or just get the sources and start hacking. - -

    - -And register to the -GF User's Mailing List! - -

    - -Last modified by - -Aarne Ranta, -December 21, 2007. - - -- cgit v1.2.3