inariksit

inariksit's Stars

• Nemoyjh92/gf-docs

  Unofficial Documentation for Grammatical Framework (GF)

  Language:HTML11

• nltkgf/spacyconlltree

  Language:Grammatical Framework22

• leoalenc/nheengatu

  Tools and resources for the computational processing of the Nheengatu language

  Language:Grammatical Framework8

• wmacmil/AgdaGrammar

  GF Implementation of (approximate) Agda Concrete & Abstract Syntax

  Language:Grammatical Framework11

• wmacmil/GF_Typechecker

  An attempt at implementing a typechecker via GF AST specifications using dependent types and higher order abstract syntax

  Language:Grammatical Framework1

• KWARC/gf_kernel

  A Jupyter Kernel for GF

  Language:JavaScript62

• smucclaw/complaw

  Main repository for the Research Programme in Computational Law

  Language:TeX2912

• daherb/GF-Dependent-Types

  Some examples for dependent types in GF

  Language:Jupyter Notebook1

• rnd0101/gf-miniprojects

  MIniproject Using Grammatical Framework

  Language:Grammatical Framework3

• olpa/gf-tokipona

  Describe Toki Pona using Grammatical Framework

  Language:Grammatical Framework101

• otakar-smrz/elixir-fm

  ElixirFM Functional Arabic Morphology

  Language:Haskell4112

• kristiank/GF-praktikum

  Sissejuhatav praktikum Grammatical Frameworki programmeerimisse

  Language:Grammatical Framework3