GF:完整的GF存储库的存档，直到2018年7月25日

语法框架（GF） 语法框架是基于类型理论的语法形式主义。 它包括： 一种专用的编程语言 语言的编译器 通用语法处理器 编译器从用户提供的文件中读取GF语法，通用语法处理器使用这些语法执行各种任务： 一代 解析 翻译 类型检查 计算 释义 随机产生 语法编辑 GF特别关注语法的四个方面： 多语言（不同语言的并行语法） 语义（格式良好的语义条件，表达式的语义属性） 语法工程（模块化，抽象，库） 可嵌入其他语言（C，C ++，Haskell，Java，JavaScript）程序中 源代码分发的编译和安装：有关安装说明，请参见 。 可以在找到更多详细信息。