GF, Grammatical Framework, is a programming language for multilingual grammar applications.
Clone or download
Pull request Compare This branch is 13 commits behind GrammaticalFramework:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
bin
css
debian
demos
doc
download
gf-book
lib
split
src
testsuite
treebanks
.ghci
.gitignore
.travis.yml
LICENSE
Makefile
README.md
Setup.hs
WebSetup.hs
default.nix
gf.cabal
gf.nix
index.html

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 of source distribution: See download/index.html for installation instructions. More details can be found in doc/gf-developers.html.