gf: Grammatical Framework

[ compiler, library, natural-language-processing, program ] [ Propose Tags ]

GF, Grammatical Framework, is a programming language for multilingual grammar applications

Versions	3.1.6, 3.1.6.1, 3.1.6.2, 3.2, 3.2.9, 3.3, 3.3.3, 3.4, 3.5, 3.6, 3.7, 3.7.1, 3.8, 3.9
Dependencies	array, base (>=4.5 && <5), binary, bytestring, cgi (>=3001.2.2.0), containers, data-binary-ieee754, directory, exceptions, filepath, gf, haskeline, httpd-shed (>=0.4.0.3), json, lifted-base, mtl, network (>=2.3 && <2.7), network-uri (>=2.6), old-locale, parallel (>=3), pretty, process, random, terminfo (>=0.4), time, time-compat, unix, utf8-string, Win32 [details]
License	LicenseRef-OtherLicense
Author
Maintainer	Thomas Hallgren
Category	Natural Language Processing, Compiler
Home page	http://www.grammaticalframework.org/
Bug tracker	https://github.com/GrammaticalFramework/GF/issues
Source repo	head: git clone https://github.com/GrammaticalFramework/GF.git
Uploaded	by ThomasHallgren at Tue Aug 15 12:37:17 UTC 2017
Distributions	NixOS:3.9
Executables	pgf-shell, gf
Downloads	6441 total (49 in the last 30 days)
Rating	(no votes yet) [estimated by rule of succession]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2017-08-15 [all 1 reports] Hackage Matrix CI

Modules

[Index]

GF
- GF.Support
- Text
  - GF.Text.Pretty
PGF
- PGF.Haskell
- PGF.Internal
- PGF.Lexing
- PGF.LexingAGreek
- PGF.Utilities
PGF2

Flags

Name	Description	Default	Type
interrupt	Enable Ctrl+Break in the shell	Enabled	Automatic
server	Include --server mode	Enabled	Automatic
network-uri	Get Network.URI from the network-uri package	Enabled	Automatic
custom-binary	Use a customised version of the binary package	Enabled	Automatic
c-runtime	Include functionality from the C run-time library (which must be installed already)	Disabled	Automatic

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

gf-3.9.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

For package maintainers and hackage trustees

edit package information

Readme for gf-3.9

[back to package description]

DESCRIPTION

The Grammatical Framework (=GF) 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.)