forked from GitHub/gf-core
Cleanup links in homepage and footer
This commit is contained in:
John J. Camilleri
@@ -48,7 +48,7 @@ $endfor$
|
||||
|
||||
$if(title)$
|
||||
<header id="title-block-header">
|
||||
<img src="$rel-root$/doc/Logos/gf1.svg" height="200px" class="float-md-right mb-3" alt="GF Logo">
|
||||
<img src="$rel-root$/doc/Logos/gf1.svg" height="200px" class="float-md-right mb-3 bg-white" alt="GF Logo">
|
||||
<h1 class="title">$title$</h1>
|
||||
$if(subtitle)$
|
||||
<p class="subtitle">$subtitle$</p>
|
||||
@@ -86,18 +86,19 @@ $body$
|
||||
<div class="col-3">
|
||||
<h6 class="text-muted">Documentation</h6>
|
||||
<ul class="list-unstyled">
|
||||
<li><a href="$rel-root$/doc/gf-shell-reference.html">GF Shell Reference</a>
|
||||
<li><a href="$rel-root$/lib/doc/synopsis.html">RGL Library Synopsis</a>
|
||||
<li><a href="$rel-root$/gf-book">The GF Book</a>
|
||||
<li><a href="$rel-root$/doc/gf-refman.html">Reference Manual</a>
|
||||
<li><a href="$rel-root$/doc/gf-shell-reference.html">GF Shell Reference</a></li>
|
||||
<li><a href="$rel-root$/lib/doc/synopsis.html">RGL Library Synopsis</a></li>
|
||||
<li><a href="$rel-root$/gf-book">The GF Book</a></li>
|
||||
<li><a href="$rel-root$/doc/gf-refman.html">Reference Manual</a></li>
|
||||
<li><a href="$rel-root$/doc/tutorial/gf-tutorial.html">Tutorial</a></li>
|
||||
</ul>
|
||||
</div>
|
||||
<div class="col-3">
|
||||
<h6 class="text-muted">Reference</h6>
|
||||
<ul class="list-unstyled">
|
||||
<li><a href="http://hackage.haskell.org/package/gf/docs/PGF.html">PGF library API (Haskell runtime)</a>
|
||||
<li><a href="$rel-root$/doc/runtime-api.html">PGF library API (C runtime)</a>
|
||||
<li><a href="http://hackage.haskell.org/package/gf/docs/GF.html">GF compiler API</a>
|
||||
<li><a href="http://hackage.haskell.org/package/gf/docs/PGF.html">PGF library API (Haskell runtime)</a></li>
|
||||
<li><a href="$rel-root$/doc/runtime-api.html">PGF library API (C runtime)</a></li>
|
||||
<li><a href="http://hackage.haskell.org/package/gf/docs/GF.html">GF compiler API</a></li>
|
||||
</ul>
|
||||
</div>
|
||||
<div class="col-3">
|
||||
|
||||
139
index.html
139
index.html
@@ -27,8 +27,8 @@
|
||||
<div class="col-sm-3">
|
||||
<h2>Use</h2>
|
||||
<ul>
|
||||
<li><a href="http://cloud.grammaticalframework.org/">GF Cloud</a>
|
||||
<li><a href="demos/index.html">Other Demos</a>
|
||||
<li><a href="http://cloud.grammaticalframework.org/">GF Cloud</a></li>
|
||||
<li><a href="demos/index.html">Other Demos</a></li>
|
||||
</ul>
|
||||
<a href="download/index.html" class="btn btn-primary mb-3 ">
|
||||
<i class="fas fa-download mr-1"></i>
|
||||
@@ -37,9 +37,9 @@
|
||||
|
||||
<h4>Community</h4>
|
||||
<ul>
|
||||
<li><a href="http://groups.google.com/group/gf-dev">User Group</a>
|
||||
<li><a href="https://github.com/GrammaticalFramework/gf-core/issues">Bug Reports</a>
|
||||
(<a href="http://code.google.com/p/grammatical-framework/issues/list">old</a>)
|
||||
<li><a href="http://groups.google.com/group/gf-dev">User Group</a></li>
|
||||
<li><a href="https://github.com/GrammaticalFramework/gf-core/issues">Issue Tracker</a></li>
|
||||
<li><a href="http://school.grammaticalframework.org/2018/">Summer School</a></li>
|
||||
</ul>
|
||||
</div>
|
||||
|
||||
@@ -47,42 +47,42 @@
|
||||
<h2>Learn</h2>
|
||||
|
||||
<ul>
|
||||
<li><a href="doc/gf-shell-reference.html">GF Shell Reference</a>
|
||||
<li><a href="lib/doc/synopsis.html">RGL Library Synopsis</a>
|
||||
<li><a href="gf-book">The GF Book</a>
|
||||
<li><a href="doc/tutorial/gf-tutorial.html">GF Tutorial</a>
|
||||
<li><a href="doc/gf-refman.html">Reference Manual</a>
|
||||
<li><a href="doc/gf-quickstart.html">QuickStart</a>
|
||||
<li><a href="doc/gf-reference.html">QuickRefCard</a>
|
||||
<li><a href="doc/gf-shell-reference.html">Shell Reference</a></li>
|
||||
<li><a href="lib/doc/synopsis.html">RGL Library Synopsis</a></li>
|
||||
<li><a href="gf-book">The GF Book</a></li>
|
||||
<li><a href="doc/tutorial/gf-tutorial.html">Tutorial</a></li>
|
||||
<li><a href="doc/gf-refman.html">Reference Manual</a></li>
|
||||
<li><a href="doc/gf-quickstart.html">Quick Start</a></li>
|
||||
<li><a href="doc/gf-reference.html">Quick Reference</a></li>
|
||||
</ul>
|
||||
|
||||
<h4>Other resources</h4>
|
||||
<ul>
|
||||
<li><a href="https://www.youtube.com/watch?v=x1LFbDQhbso">Google Tech Talk</a>
|
||||
<li><a href="http://www.molto-project.eu/sites/default/files/MOLTO_D2.3.pdf">Best Practices</a> <small>[PDF]</small>
|
||||
<li><a href="doc/gf-lrec-2010.pdf">Library Tutorial</a> <small>[PDF]</small>
|
||||
<li><a href="https://www.youtube.com/watch?v=x1LFbDQhbso">Google Tech Talk</a></li>
|
||||
<li><a href="http://www.molto-project.eu/sites/default/files/MOLTO_D2.3.pdf">Best Practices</a> <small>[PDF]</small></li>
|
||||
<li><a href="doc/gf-lrec-2010.pdf">Library Tutorial</a> <small>[PDF]</small></li>
|
||||
</ul>
|
||||
</div>
|
||||
<div class="col-sm-4">
|
||||
<h2>Develop</h2>
|
||||
<h4>GF</h4>
|
||||
<ul>
|
||||
<li><a href="doc/gf-developers.html">GF Developers Guide</a>
|
||||
<li><a href="doc/gf-developers.html">Developers Guide</a></li>
|
||||
<li><a href="https://github.com/GrammaticalFramework/">
|
||||
GF on GitHub
|
||||
<i class="fab fa-github"></i>
|
||||
</a>
|
||||
<!-- <li><a href="/~hallgren/gf-experiment/browse/">Browse Source Code</a> -->
|
||||
<li><a href="doc/gf-people.html">Authors</a>
|
||||
</a></li>
|
||||
<!-- <li><a href="/~hallgren/gf-experiment/browse/">Browse Source Code</a></li> -->
|
||||
<li><a href="doc/gf-people.html">Authors</a></li>
|
||||
</ul>
|
||||
<h4>Applications</h4>
|
||||
<ul>
|
||||
<li><a href="http://hackage.haskell.org/package/gf/docs/PGF.html">PGF library API (Haskell runtime)</a>
|
||||
<li><a href="doc/runtime-api.html">PGF library API (C runtime)</a>
|
||||
<li><a href="http://hackage.haskell.org/package/gf/docs/GF.html">GF compiler API</a>
|
||||
<!-- <li><a href="src/ui/android/README">GF on Android (new)</a>
|
||||
<li><a href="/android/">GF on Android (old) </a> -->
|
||||
<li><a href="doc/gf-editor-modes.html">GF Editor Modes</a>
|
||||
<li><a href="http://hackage.haskell.org/package/gf/docs/PGF.html">PGF library API (Haskell runtime)</a></li>
|
||||
<li><a href="doc/runtime-api.html">PGF library API (C runtime)</a></li>
|
||||
<li><a href="http://hackage.haskell.org/package/gf/docs/GF.html">GF compiler API</a></li>
|
||||
<!-- <li><a href="src/ui/android/README">GF on Android (new)</a></li>
|
||||
<li><a href="/android/">GF on Android (old) </a></li> -->
|
||||
<li><a href="doc/gf-editor-modes.html">Text Editor Support</a></li>
|
||||
</ul>
|
||||
</div>
|
||||
</div>
|
||||
@@ -90,13 +90,13 @@
|
||||
<!-- <div class=links>
|
||||
<h4>Related to GF</h4>
|
||||
<ul>
|
||||
<li><a href="http://school.grammaticalframework.org/"><strong>GF Summer School</strong></a>
|
||||
<li><a href="http://www.postcrashgames.com/gf_world/">Coverage Map</a>
|
||||
<li><a href="doc/gf-bibliography.html">Publications</a>
|
||||
<li><a href="http://remu.grammaticalframework.org/">The REMU Project</a>
|
||||
<li><a href="http://www.molto-project.eu">The MOLTO Project</a>
|
||||
<li><a href="http://en.wikipedia.org/wiki/Grammatical_Framework">GF on Wikipedia</a>
|
||||
<li><p><a href="Http://www.digitalgrammars.com/">Digital Grammars AB</a>
|
||||
<li><a href="http://school.grammaticalframework.org/"><strong>GF Summer School</strong></a></li>
|
||||
<li><a href="http://www.postcrashgames.com/gf_world/">Coverage Map</a></li>
|
||||
<li><a href="doc/gf-bibliography.html">Publications</a></li>
|
||||
<li><a href="http://remu.grammaticalframework.org/">The REMU Project</a></li>
|
||||
<li><a href="http://www.molto-project.eu">The MOLTO Project</a></li>
|
||||
<li><a href="http://en.wikipedia.org/wiki/Grammatical_Framework">GF on Wikipedia</a></li>
|
||||
<li><p><a href="Http://www.digitalgrammars.com/">Digital Grammars AB</a></li>
|
||||
</ul>
|
||||
</div> -->
|
||||
|
||||
@@ -112,6 +112,7 @@ GF, Grammatical Framework, is a programming language for
|
||||
<a href="http://www.haskell.org/happy/">Happy</a>,
|
||||
<a href="http://bnfc.digitalgrammars.com/">BNFC</a>,
|
||||
but not restricted to programming languages
|
||||
</li>
|
||||
<li>a <strong>functional programming language</strong>, like
|
||||
<a href="http://www.haskell.org/">Haskell</a>,
|
||||
<a href="http://en.wikipedia.org/wiki/Lisp_(programming_language)">Lisp</a>,
|
||||
@@ -119,25 +120,30 @@ GF, Grammatical Framework, is a programming language for
|
||||
<a href="http://www.smlnj.org/">SML</a>,
|
||||
<a href="http://schemers.org/">Scheme</a>,
|
||||
but specialized to grammar writing
|
||||
</li>
|
||||
<li>a <strong>development platform for natural language grammars</strong>, like
|
||||
<a href="http://moin.delph-in.net/LkbTop">LKB</a>,
|
||||
<a href="http://www2.parc.com/isl/groups/nltt/xle/">XLE</a>,
|
||||
<a href="http://www.issco.unige.ch/en/research/projects/regulus/news.shtml">Regulus</a>,
|
||||
but based on functional programming and type theory
|
||||
</li>
|
||||
<li>a <strong>categorial grammar formalism</strong>, like
|
||||
<a href="http://www.loria.fr/equipes/calligramme/acg/">ACG</a>,
|
||||
<a href="http://openccg.sourceforge.net/">CCG</a>,
|
||||
but specialized for multilingual grammars,
|
||||
</li>
|
||||
<li>a <strong>logical framework</strong>, like
|
||||
<a href="http://wiki.portal.chalmers.se/agda/pmwiki.php">Agda</a>,
|
||||
<a href="http://coq.inria.fr/">Coq</a>,
|
||||
<a href="http://www.cl.cam.ac.uk/research/hvg/Isabelle/">Isabelle</a>,
|
||||
but equipped with concrete syntax in addition to logic
|
||||
</li>
|
||||
<li>a <strong>platform for machine translation</strong>, like
|
||||
<a href="http://www.statmt.org/moses/">Moses</a>,
|
||||
<a href="http://www.apertium.org/">Apertium</a>,
|
||||
but based on deep structural analysis (and usually applied for
|
||||
limited fragments of language).
|
||||
</li>
|
||||
</ul>
|
||||
|
||||
<p>
|
||||
@@ -166,11 +172,11 @@ least one, it may help you to get a first idea of what GF is.
|
||||
is available for
|
||||
</p>
|
||||
<ul>
|
||||
<li>Linux
|
||||
<li>Mac OS X
|
||||
<li>Windows
|
||||
<li>Android mobile platform (via Java; runtime)
|
||||
<li>via compilation to JavaScript, almost any platform that has a web browser (runtime)
|
||||
<li>Linux</li>
|
||||
<li>macOS</li>
|
||||
<li>Windows</li>
|
||||
<li>Android mobile platform (via Java; runtime)</li>
|
||||
<li>via compilation to JavaScript, almost any platform that has a web browser (runtime)</li>
|
||||
</ul>
|
||||
|
||||
<h2>Programming in GF</h2>
|
||||
@@ -185,21 +191,21 @@ least one, it may help you to get a first idea of what GF is.
|
||||
in other programming languages. The formats currently supported are:
|
||||
</p>
|
||||
<ul>
|
||||
<li>Haskell
|
||||
<li>Java, in particular the Android platform
|
||||
<li>JavaScript
|
||||
<li>Speech recognition: HTK/ATK, Nuance, JSGF
|
||||
<li>Haskell</li>
|
||||
<li>Java, in particular the Android platform</li>
|
||||
<li>JavaScript</li>
|
||||
<li>Speech recognition: HTK/ATK, Nuance, JSGF</li>
|
||||
</ul>
|
||||
|
||||
<p>
|
||||
The GF programming language is high-level and advanced, featuring
|
||||
</p>
|
||||
<ul>
|
||||
<li>static type checking
|
||||
<li>higher-order functions
|
||||
<li>dependent types
|
||||
<li>pattern matching with data constructors and regular expressions
|
||||
<li>module system with multiple inheritance and parametrized modules
|
||||
<li>static type checking</li>
|
||||
<li>higher-order functions</li>
|
||||
<li>dependent types</li>
|
||||
<li>pattern matching with data constructors and regular expressions</li>
|
||||
<li>module system with multiple inheritance and parametrized modules</li>
|
||||
</ul>
|
||||
|
||||
<h3>Getting help</h3>
|
||||
@@ -260,23 +266,39 @@ least one, it may help you to get a first idea of what GF is.
|
||||
Later projects using GF and involving third parties include, in chronological order,
|
||||
</p>
|
||||
<ul>
|
||||
<li><a href="http://www.cs.chalmers.se/~hallgren/Alfa/Tutorial/GFplugin.html">GF-Alfa</a>:
|
||||
<li>
|
||||
<a href="http://www.cs.chalmers.se/~hallgren/Alfa/Tutorial/GFplugin.html">GF-Alfa</a>:
|
||||
natural language interface to formal proofs
|
||||
<li><a href="http://efficient.citi.tudor.lu/index_noframe.html">Efficient</a>:
|
||||
</li>
|
||||
<li>
|
||||
<a href="http://efficient.citi.tudor.lu/index_noframe.html">Efficient</a>:
|
||||
authoring tool for business models.
|
||||
<li><a href="http://www.key-project.org/">GF-KeY</a>:
|
||||
</li>
|
||||
<li>
|
||||
<a href="http://www.key-project.org/">GF-KeY</a>:
|
||||
authoring and translation of software specifications
|
||||
<li><a href="http://www.talk-project.org">TALK</a>:
|
||||
</li>
|
||||
<li>
|
||||
<a href="http://www.talk-project.org">TALK</a>:
|
||||
multilingual and multimodal spoken dialogue systems
|
||||
<li><a href="http://webalt.math.helsinki.fi/">WebALT</a>:
|
||||
</li>
|
||||
<li>
|
||||
<a href="http://webalt.math.helsinki.fi/">WebALT</a>:
|
||||
multilingual generation of mathematical exercises (commercial project)
|
||||
<li><a href="http://spraakbanken.gu.se/sal/">SALDO</a>:
|
||||
</li>
|
||||
<li>
|
||||
<a href="http://spraakbanken.gu.se/sal/">SALDO</a>:
|
||||
Swedish morphological dictionary based on rules developed for GF and
|
||||
<a href="http://www.cse.chalmers.se/alumni/markus/FM/">Functional Morphology</a>
|
||||
<li><a href="http://www.molto-project.eu">MOLTO</a>:
|
||||
</li>
|
||||
<li>
|
||||
<a href="http://www.molto-project.eu">MOLTO</a>:
|
||||
multilingual online translation
|
||||
<li><a href="http://remu.grammaticalframework.org">REMU</a>:
|
||||
</li>
|
||||
<li>
|
||||
<a href="http://remu.grammaticalframework.org">REMU</a>:
|
||||
reliable multilingual digital communication.
|
||||
</li>
|
||||
</ul>
|
||||
<p>
|
||||
Here is a <a
|
||||
@@ -354,15 +376,6 @@ least one, it may help you to get a first idea of what GF is.
|
||||
<footer class="bg-light mt-5 py-5">
|
||||
<div class="container mb-5">
|
||||
<div class="row">
|
||||
<div class="col-md-4">
|
||||
|
||||
</div>
|
||||
<div class="col-md-4">
|
||||
|
||||
</div>
|
||||
<div class="col-md-4">
|
||||
|
||||
</div>
|
||||
<div>
|
||||
<div>
|
||||
</footer>
|
||||
|
||||
Reference in New Issue
Block a user