Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/GrammaticalFramework/gf-core
Grammatical Framework core: compiler, shell & runtimes
https://github.com/GrammaticalFramework/gf-core
Last synced: 3 months ago
JSON representation
Grammatical Framework core: compiler, shell & runtimes
- Host: GitHub
- URL: https://github.com/GrammaticalFramework/gf-core
- Owner: GrammaticalFramework
- License: other
- Created: 2018-07-26T18:32:19.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2024-04-11T09:45:03.000Z (10 months ago)
- Last Synced: 2024-04-11T09:55:47.425Z (10 months ago)
- Language: Haskell
- Homepage: https://www.grammaticalframework.org
- Size: 129 MB
- Stars: 126
- Watchers: 18
- Forks: 35
- Open Issues: 44
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE
Awesome Lists containing this project
- AwesomeCompiler - gf-core
README
# Grammatical Framework (GF)
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 from source is with the command:
```
cabal install
```
or:
```
stack install
```
Note that if you are unlucky to have Cabal 3.0 or later, then it uses
the so-called Nix style commands. Using those for GF development is
a pain. Every time when you change something in the source code, Cabal
will generate a new folder for GF to look for the GF libraries and
the GF cloud. Either reinstall everything with every change in the
compiler, or be sane and stop using cabal-install. Instead you can do:
```
runghc Setup.hs configure
runghc Setup.hs build
sudo runghc Setup.hs install
```
The script will install the GF dependencies globally. The only solution
to the Nix madness that I found is radical:
"No person, no problem" (Нет человека – нет проблемы).
For more information, including links to precompiled binaries, see the [download page](https://www.grammaticalframework.org/download/index.html).
## About this repository
On 2018-07-25, the monolithic [GF repository](https://github.com/GrammaticalFramework/GF)
was split in two:
1. [gf-core](https://github.com/GrammaticalFramework/gf-core) — the GF compiler, shell and runtimes
2. [gf-rgl](https://github.com/GrammaticalFramework/gf-rgl) — the resource grammar library
The former repository is now archived and no longer updated.
The split was performed using [this script](https://github.com/GrammaticalFramework/GF/blob/30ae1b5a5f73513ac5825ca6712186ef8afe9fd4/split/run.sh)
and the output of that script is [here](https://gist.github.com/johnjcamilleri/a6c43ff61f15a9657b457ac94ab7db61).