mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-22 19:22:50 -06:00
Rename index.html to homepage.html.
This commit is contained in:
bjorn
316
index.html
316
index.html
@@ -1,316 +0,0 @@
|
||||
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
|
||||
<html><head><title>GF Version 2.9</title></head>
|
||||
|
||||
|
||||
<body bgcolor="#ffffff" text="#000000">
|
||||
|
||||
<center>
|
||||
<img src="gf-logo.gif">
|
||||
|
||||
<h1>Grammatical Framework</h1>
|
||||
|
||||
<h2>Version 2.9</h2>
|
||||
|
||||
December 21, 2007.
|
||||
|
||||
<p>
|
||||
|
||||
</center>
|
||||
|
||||
<hr>
|
||||
|
||||
<a href=
|
||||
"doc">Documentation</a>
|
||||
|
|
||||
<a href=
|
||||
"download/">Download</a>
|
||||
|
|
||||
<a href=
|
||||
"doc/darcs.html">LatestCode</a>
|
||||
|
|
||||
<a href=
|
||||
"doc/gf-quickstart.html">QuickStart</a>
|
||||
|
|
||||
<a href=
|
||||
"doc/gf-tutorial.html">Tutorial</a>
|
||||
|
|
||||
<a href=
|
||||
"doc/gf-refman.html">ReferenceManual</a>
|
||||
|
|
||||
<a href="lib/resource/doc/synopsis.html">Libraries</a>
|
||||
|
|
||||
<a href=
|
||||
"http://www.cs.chalmers.se/~bringert/gf/translate/">NumeralDemo</a>
|
||||
|
|
||||
<a href=
|
||||
"http://www.cs.chalmers.se/~markus/gramlets/letter-applet.html">LetterDemo</a>
|
||||
|
||||
|
||||
<hr>
|
||||
|
||||
<p>
|
||||
|
||||
</p><h2>News</h2>
|
||||
|
||||
<p>
|
||||
|
||||
<i>December 21, 2007</i>.
|
||||
<ul>
|
||||
<li> GF 2.9 is mainly a bug fix version;
|
||||
<li> preview version of GF3: get the
|
||||
<a href=
|
||||
"http://www.cs.chalmers.se/Cs/Research/Language-technology/darcs/GF/doc/darcs.html">
|
||||
latest sources</a> and compile with <tt>make gfc</tt>
|
||||
<li> new version of the <a href="doc/gf-tutorial.html">tutorial</a>
|
||||
<li> new <a href="doc/gf-refman.html">reference manual</a>
|
||||
<li> <a href="demos/resource-api/editor.html">resource api browser</a>
|
||||
using interactive editing
|
||||
</ul>
|
||||
|
||||
<p>
|
||||
|
||||
<a href="doc/old-news.html">News before 2.9</a>.
|
||||
|
||||
|
||||
</p><h2>What is GF?</h2>
|
||||
|
||||
The Grammatical Framework (=GF) is a grammar formalism based on type
|
||||
theory. It consists of
|
||||
<ul>
|
||||
<li> a special-purpose programming language
|
||||
</li><li> a compiler of the language
|
||||
</li><li> a generic grammar processor
|
||||
</li></ul>
|
||||
The compiler reads
|
||||
GF grammars from user-provided files,
|
||||
and the generic grammar processor performs
|
||||
various tasks with the grammars:
|
||||
<ul>
|
||||
<li> generation
|
||||
</li><li> parsing
|
||||
</li><li> translation
|
||||
</li><li> type checking
|
||||
</li><li> computation
|
||||
</li><li> paraphrasing
|
||||
</li><li> random and exhaustive generation
|
||||
</li><li> syntax editing
|
||||
</li></ul>
|
||||
GF particularly addresses four aspects of grammars:
|
||||
<ul>
|
||||
<li> multilinguality (parallel grammars for different languages)
|
||||
</li><li> semantics (semantic conditions of well-formedness, semantic
|
||||
properties of expressions)
|
||||
<li> modularity and grammar engineering
|
||||
<li> reuse of grammars in different formats and as software components
|
||||
</ul>
|
||||
GF provides an easy way to experiment with grammars written in
|
||||
different formats, including the ubiquitous BNF and EBNF formats.
|
||||
The <a href="doc/gf-compiler.png">GF compilation chart</a> gives a
|
||||
summary of the supported input and output formats (the nodes in ellipses).
|
||||
|
||||
<br>
|
||||
|
||||
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 <tt>foo.ebnf</tt> and type
|
||||
<pre>
|
||||
echo "pg -printer=slf" | gf foo.ebnf
|
||||
</pre>
|
||||
|
||||
|
||||
|
||||
<h2>License</h2>
|
||||
|
||||
GF is open-source software licensed under
|
||||
<a href="LICENSE">GNU General Public License (GPL)</a>.
|
||||
|
||||
<p>
|
||||
|
||||
The <a href="lib">GF Grammar Libraries</a> are licensed under
|
||||
<a href="lib/resource/LICENSE">GNU Lesser General Public License (LGPL)</a>.
|
||||
|
||||
|
||||
|
||||
<h2>Examples and demos</h2>
|
||||
|
||||
<a href="http://www.cs.chalmers.se/~bringert/gf/translate/">Numeral
|
||||
translator</a>: recognizes and generates
|
||||
numbers from 1 to 999,999 in 80 languages.
|
||||
(The link goes to a live applet, which requires
|
||||
<a href="http://java.sun.com/j2se/1.5.0/download.jsp">Java 1.5 plugin</a>.
|
||||
Here is an <a href="doc/2341.html">example</a>, which does
|
||||
not require the plugin.)
|
||||
|
||||
<p>
|
||||
|
||||
<a href="http://www.cs.chalmers.se/%7Ekrijo/gramlets/letter-applet.html">Letter
|
||||
editor</a>:
|
||||
write simple letters in English, Finnish,
|
||||
French, Swedish, and Russian with a few mouse clicks.
|
||||
|
||||
<p>
|
||||
|
||||
<a
|
||||
href="http://www.cs.chalmers.se/~bringert/misc/tramdemo.avi">Demo film</a>
|
||||
of a multimodal dialogue system built with embedded grammars.
|
||||
|
||||
<p>
|
||||
|
||||
<a href="examples/tutorial/">Example grammars</a> used in the
|
||||
<a href="doc/gf-tutorial.html">GF tutorial</a>.
|
||||
|
||||
<p>
|
||||
|
||||
<a href="lib/resource/doc/index.html">Resource grammar library</a>:
|
||||
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.
|
||||
|
||||
|
||||
|
||||
<h2>Executable programs</h2>
|
||||
|
||||
GF is available for
|
||||
several platforms: Linux, Mac OS X, Microsoft Windows, and Sun OS.
|
||||
To get GF, go to the
|
||||
<a href="download">Download Page</a>.
|
||||
|
||||
|
||||
<h2>Quick start</h2>
|
||||
|
||||
When you have downloaded and installed GF, you can try one of the
|
||||
<a href="doc/gf-quickstart.html">quick start examples</a>.
|
||||
|
||||
|
||||
|
||||
<h2>Source code</h2>
|
||||
|
||||
The main part of GF is written in
|
||||
<a href="http://www.haskell.org/">Haskell</a>.
|
||||
|
||||
<p>
|
||||
|
||||
The platform-independent graphical user interface is written in
|
||||
<a href="http://java.sun.com/">Java</a>.
|
||||
|
||||
|
||||
</p><p>
|
||||
|
||||
The <a href="download/">Download Page</a>
|
||||
gives links to source and binary packages, as well as
|
||||
information on compiler requirements.
|
||||
|
||||
<p>
|
||||
|
||||
The publicly accessible
|
||||
<a href="http://www.cs.chalmers.se/Cs/Research/Language-technology/darcs/GF/doc/darcs.html">
|
||||
Darcs repository</a>
|
||||
has the latest sources and documents.
|
||||
|
||||
<p>
|
||||
|
||||
For Java programmers: GF grammars can be embedded in Java programs by using the
|
||||
<a href="http://www.cs.chalmers.se/~bringert/gf/gf-java.html">
|
||||
Embedded GF Interpreter</a>.
|
||||
|
||||
|
||||
|
||||
|
||||
</p><h2>Documents</h2>
|
||||
|
||||
|
||||
See the <a href="doc/index.html">Documentation page</a>.
|
||||
|
||||
|
||||
|
||||
<h2>Projects and events</h2>
|
||||
|
||||
<li> <a href="http://webalt.math.helsinki.fi/content/index_eng.html">WebALT</a>,
|
||||
Web Advanced Learning Technologies. GF is used as for generating multilingual
|
||||
teaching material in mathematics.
|
||||
|
||||
<li> <a href="http://www.talk-project.org">TALK</a> = Tools for Ambient Linguistic
|
||||
Knowledge</a>. GF was used in implementing multimodal and multilingual dialogue systems.
|
||||
|
||||
<li> <a href="http://www.key-project.org/">KeY</a> project on Integrated Deductive
|
||||
Software Design. GF was used for
|
||||
authoring informal and formal specifications. More details on the GF
|
||||
application
|
||||
<a href="http://www.cs.chalmers.se/%7Ekrijo/gfspec">
|
||||
here</a>.
|
||||
|
||||
<li>
|
||||
Project <a href="http://efficient.citi.tudor.lu/index_noframe.html">Efficient</a>
|
||||
at Tudor Institute, Luxembourg, "atelier de prototypage de transactions d'e-commerce".
|
||||
GF is used as an authoring tool for business models.
|
||||
|
||||
|
||||
|
||||
<h2>Miscellaneous</h2>
|
||||
|
||||
|
||||
</li><li>
|
||||
<a href="doc/gfcc.pdf">
|
||||
GFCC</a>:
|
||||
report on a compiler from a fragment of C to JVM, written in GF.
|
||||
The compiler source code can be found in the directory
|
||||
<tt>examples/gfcc</tt> in the GF grammar library
|
||||
(see <a href="http://sourceforge.net/project/showfiles.php?group_id=132285">GF download page</a>).
|
||||
|
||||
</li><li>
|
||||
The original <a href="http://www.xrce.xerox.com/">
|
||||
GF Xerox Home Page</a>
|
||||
with the oldest releases of and documents on GF, up to Version 0.54, 1999,
|
||||
does not seem to exist any more.
|
||||
|
||||
|
||||
</li><li>
|
||||
Earlier application:
|
||||
<a href="http://www.cs.chalmers.se/%7Ehallgren/Alfa/Tutorial/GFplugin.html">
|
||||
Natural-Language Interface to the proof editor Alfa</a>.
|
||||
|
||||
</li><li>
|
||||
<a href="http://www.cs.chalmers.se/%7Emarkus/BNFC">The BNF Converter</a>.
|
||||
A GF spin-off customized for the description of programming
|
||||
languages.
|
||||
|
||||
</li><li>
|
||||
|
||||
<a href="http://www.cs.chalmers.se/%7Emarkus/FM">The Functional
|
||||
Morphology project</a>. Creating infrastructure for GF and other
|
||||
linguistic applications.
|
||||
|
||||
|
||||
</li></ul>
|
||||
|
||||
<h2>Authors</h2>
|
||||
|
||||
The <a href="http://www.cs.chalmers.se/Cs/Research/Language-technology/">
|
||||
Languge Technology Group</a>.
|
||||
More details on the
|
||||
<a href="http://www.cs.chalmers.se/%7Eaarne/GF/doc/gf-people.html">
|
||||
Authors and Acknowledgements</a> page.
|
||||
|
||||
|
||||
<h2>Implementation project</h2>
|
||||
|
||||
Want to become a GF developer? Contact
|
||||
<a href="http://www.cs.chalmers.se/%7Eaarne/">Aarne Ranta</a>.
|
||||
Or just get the sources and start hacking.
|
||||
|
||||
<p>
|
||||
|
||||
And register to the
|
||||
<a href="https://lists.sourceforge.net/lists/listinfo/gf-tools-users">GF User's Mailing List</a>!
|
||||
|
||||
<hr>
|
||||
|
||||
Last modified by
|
||||
<a href="http://www.cs.chalmers.se/%7Eaarne">
|
||||
Aarne Ranta</a>,
|
||||
December 21, 2007.
|
||||
|
||||
</body></html>
|
||||
Reference in New Issue
Block a user