Skip to content
Grammatical Framework core: compiler, shell & runtimes
Branch: master
Clone or download
Thomas-H GF.Compile.GrammarToCanonical: keep unreachable rows in tables
since unreachable rows can become reachable after grammar transformation.
Also export smart constructors for projection and selection.
Latest commit a55c7c7 Mar 22, 2019
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
bin TOC for Markdown should now work for both Pandoc < 2.0 and >= 2.0 Dec 10, 2018
css Revert CSS change that produces overlapping text instead of responsiv… Nov 6, 2018
debian Bump version number to 3.10.3-git Mar 5, 2019
demos Comment out links to some old demos that no longer work Oct 10, 2018
doc
download Update .deb packages to verion 3.10-2 on the download page Mar 5, 2019
gf-book
src
testsuite testsuite: fix test of generate_trees Dec 10, 2013
treebanks some more conversion patterns for Susanne Nov 18, 2015
.ghci
.gitignore
.travis.yml (#5) reintroduce make install Aug 12, 2018
LICENSE Update LICENSE Nov 28, 2018
Makefile
README.md removed instructions which doesn't actually work Nov 30, 2018
Setup.hs Make GF compile with GHC 8.6.2 Dec 4, 2018
WebSetup.hs WebSetup.hs: don't output messages that lie about what's being installed Nov 29, 2018
favicon.ico
gf.cabal
index.html
stack-ghc7.10.3.yaml
stack-ghc8.0.2.yaml
stack-ghc8.2.2.yaml
stack-ghc8.4.3.yaml
stack-ghc8.6.2.yaml Add Stack files for different GHC versions Dec 4, 2018
stack.yaml

README.md

GF Logo

Grammatical Framework (GF)

Build Status

The Grammatical Framework is a grammar formalism based on type theory. It consists of:

  • a special-purpose programming language
  • a compiler of the language
  • a generic grammar processor

The compiler reads GF grammars from user-provided files, and the generic grammar processor performs various tasks with the grammars:

  • generation
  • parsing
  • translation
  • type checking
  • computation
  • paraphrasing
  • random generation
  • syntax editing

GF particularly addresses four aspects of grammars:

  • multilinguality (parallel grammars for different languages)
  • semantics (semantic conditions of well-formedness, semantic properties of expressions)
  • grammar engineering (modularity, abstractions, libraries)
  • embeddability in programs written in other languages (C, C++, Haskell, Java, JavaScript)

Compilation and installation

The simplest way of installing GF is with the command:

cabal install

For more details, see the download page and developers manual.

About this repository

On 2018-07-25, the monolithic GF repository was split in two:

  1. gf-core — the GF compiler, shell and runtimes
  2. gf-rgl — the resource grammar library

The former repository is now archived and no longer updated. The split was performed using this script and the output of that script is here.

You can’t perform that action at this time.