Skip to content
/ GF Public
forked from GrammaticalFramework/GF

GF, Grammatical Framework, is a programming language for multilingual grammar applications. This is a mirror of the darcs repository.

License

Notifications You must be signed in to change notification settings

k0001/GF

 
 

Repository files navigation

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.)

About

GF, Grammatical Framework, is a programming language for multilingual grammar applications. This is a mirror of the darcs repository.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Grammatical Framework 96.0%
  • C 1.2%
  • Haskell 1.2%
  • HTML 0.9%
  • JavaScript 0.4%
  • Java 0.2%
  • Other 0.1%