{"id":19297275,"url":"https://github.com/GrammaticalFramework/gf-core","last_synced_at":"2025-04-22T09:30:36.614Z","repository":{"id":38534392,"uuid":"142479543","full_name":"GrammaticalFramework/gf-core","owner":"GrammaticalFramework","description":"Grammatical Framework core: compiler, shell \u0026 runtimes","archived":false,"fork":false,"pushed_at":"2025-04-11T08:48:16.000Z","size":136187,"stargazers_count":138,"open_issues_count":50,"forks_count":39,"subscribers_count":16,"default_branch":"master","last_synced_at":"2025-04-11T10:51:31.170Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"https://www.grammaticalframework.org","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/GrammaticalFramework.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null}},"created_at":"2018-07-26T18:32:19.000Z","updated_at":"2025-04-11T03:30:04.000Z","dependencies_parsed_at":"2023-02-14T11:01:29.922Z","dependency_job_id":"87a9ea12-fb84-4572-a091-500031d19a06","html_url":"https://github.com/GrammaticalFramework/gf-core","commit_stats":null,"previous_names":[],"tags_count":7,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GrammaticalFramework%2Fgf-core","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GrammaticalFramework%2Fgf-core/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GrammaticalFramework%2Fgf-core/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GrammaticalFramework%2Fgf-core/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/GrammaticalFramework","download_url":"https://codeload.github.com/GrammaticalFramework/gf-core/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":250214957,"owners_count":21393704,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-09T23:01:50.115Z","updated_at":"2025-04-22T09:30:33.702Z","avatar_url":"https://github.com/GrammaticalFramework.png","language":"Haskell","funding_links":[],"categories":["C"],"sub_categories":[],"readme":"![GF Logo](https://www.grammaticalframework.org/doc/Logos/gf1.svg)\n\n# Grammatical Framework (GF)\n\nThe Grammatical Framework is a grammar formalism based on type theory.\nIt consists of:\n\n- a special-purpose programming language\n- a compiler of the language\n- a generic grammar processor\n\nThe compiler reads GF grammars from user-provided files, and the\ngeneric grammar processor performs various tasks with the grammars:\n\n- generation\n- parsing\n- translation\n- type checking\n- computation\n- paraphrasing\n- random generation\n- syntax editing\n\nGF particularly addresses four aspects of grammars:\n\n- multilinguality (parallel grammars for different languages)\n- semantics (semantic conditions of well-formedness, semantic properties of expressions)\n- grammar engineering (modularity, abstractions, libraries)\n- embeddability in programs written in other languages (C, C++, Haskell, Java, JavaScript)\n\n## Compilation and installation\n\nThe simplest way of installing GF from source is with the command:\n```\ncabal install\n```\nor:\n```\nstack install\n```\nNote that if you are unlucky to have Cabal 3.0 or later, then it uses\nthe so-called Nix style commands. Using those for GF development is\na pain. Every time when you change something in the source code, Cabal\nwill generate a new folder for GF to look for the GF libraries and\nthe GF cloud. Either reinstall everything with every change in the\ncompiler, or be sane and stop using cabal-install. Instead you can do:\n```\nrunghc Setup.hs configure\nrunghc Setup.hs build\nsudo runghc Setup.hs install\n```\nThe script will install the GF dependencies globally. The only solution\nto the Nix madness that I found is radical:\n\n  \"No person, no problem\" (Нет человека – нет проблемы).\n\nFor more information, including links to precompiled binaries, see the [download page](https://www.grammaticalframework.org/download/index.html).\n\n## About this repository\n\nOn 2018-07-25, the monolithic [GF repository](https://github.com/GrammaticalFramework/GF)\nwas split in two:\n\n1. [gf-core](https://github.com/GrammaticalFramework/gf-core) —  the GF compiler, shell and runtimes\n2. [gf-rgl](https://github.com/GrammaticalFramework/gf-rgl) — the resource grammar library\n\nThe former repository is now archived and no longer updated.\nThe split was performed using [this script](https://github.com/GrammaticalFramework/GF/blob/30ae1b5a5f73513ac5825ca6712186ef8afe9fd4/split/run.sh)\nand the output of that script is [here](https://gist.github.com/johnjcamilleri/a6c43ff61f15a9657b457ac94ab7db61).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FGrammaticalFramework%2Fgf-core","html_url":"https://awesome.ecosyste.ms/projects/github.com%2FGrammaticalFramework%2Fgf-core","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FGrammaticalFramework%2Fgf-core/lists"}