Skip to content

Pinned Loading

  1. gf-core gf-core Public

    Grammatical Framework core: compiler, shell & runtimes

    Haskell 166 47

  2. gf-rgl gf-rgl Public

    Grammatical Framework's Resource Grammar Library (RGL)

    Grammatical Framework 70 62

  3. gf-wordnet gf-wordnet Public

    A WordNet in GF

    Grammatical Framework 32 10

  4. gf-contrib gf-contrib Public

    Community contributions to the Grammatical Framework

    Grammatical Framework 63 41

Repositories

Showing 10 of 35 repositories
  • gf-core Public

    Grammatical Framework core: compiler, shell & runtimes

    GrammaticalFramework/gf-core's past year of commit activity
    Haskell 166 47 41 (1 issue needs help) 9 Updated Sep 15, 2026
  • PhD-informalization Public

    Chalmers/GU CSE PhD/MSc course on informalization and autoformalization

    GrammaticalFramework/PhD-informalization's past year of commit activity
    0 0 0 0 Updated Sep 15, 2026
  • gf-wordnet Public

    A WordNet in GF

    GrammaticalFramework/gf-wordnet's past year of commit activity
    Grammatical Framework 32 10 5 0 Updated Sep 14, 2026
  • informath Public

    Mathematical terms, definitions, and propositions in as many languages as possible

    GrammaticalFramework/informath's past year of commit activity
    Grammatical Framework 25 5 0 1 Updated Sep 13, 2026
  • gf-rgl Public

    Grammatical Framework's Resource Grammar Library (RGL)

    GrammaticalFramework/gf-rgl's past year of commit activity
    Grammatical Framework 70 62 21 5 Updated Sep 12, 2026
  • deptreepy Public

    Python utilities for dependency trees, replicating some of gf-ud

    GrammaticalFramework/deptreepy's past year of commit activity
    Python 5 BSD-2-Clause 2 2 0 Updated Jul 29, 2026
  • comp-syntax-gu-mlt Public

    Course material for the Computational Syntax course of the Master of Language Technology programme at the University of Gothenburg

    GrammaticalFramework/comp-syntax-gu-mlt's past year of commit activity
    Grammatical Framework 10 54 0 0 Updated Jun 2, 2026
  • gf-ud Public

    Functions to analyse and manipulate dependency trees, as well as conversions between GF and dependency trees. The main use case is UD (Universal Dependencies), but the code is designed to be completely generic as for annotation scheme. This repository replaces the old gf-contrib/ud2gf code. It is also meant to be used in the 'vd' command of GF a…

    GrammaticalFramework/gf-ud's past year of commit activity
    Grammatical Framework 10 15 7 2 Updated Apr 3, 2026
  • gf-proofs Public

    A collection of examples where GF is used as a Logical Framework for proofs

    GrammaticalFramework/gf-proofs's past year of commit activity
    Grammatical Framework 0 0 0 0 Updated Feb 13, 2026
  • gf-contrib Public

    Community contributions to the Grammatical Framework

    GrammaticalFramework/gf-contrib's past year of commit activity
    Grammatical Framework 63 41 4 0 Updated Jan 22, 2026

Top languages

Loading…

Most used topics

Loading…