masashi-y/depccg

A* CCG Parser with a Supertag and Dependency Factored Model

Language: Jsonnet - Size: 14.5 MB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 97 - Forks: 30

wenkokke/NLQ 📦

A framework for natural language syntax and semantics based on type theory.

Language: Haskell - Size: 44.1 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 13 - Forks: 1

RichardMoot/Grail

Grail is a theorem prover for multimodal type-logical grammars

Language: Prolog - Size: 2.01 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 2

konstantinosKokos/aethel

A packaging of tools for expressing dependency graphs as typed derivations of a categorial grammar.

Language: Python - Size: 32.8 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 3

RichardMoot/GrailLight

Light-weight chart parser for multimodal type-logical grammars

Language: Prolog - Size: 24.2 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 0

ABCTreebank/ABCTreebank

Size: 56.6 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

konstantinosKokos/dynamic-graph-supertagging

Constructive categorial grammar supertagging with (pick any of: [heterogeneous | dynamic | attentive | structure-aware]) graph convolutions.

Language: Python - Size: 46.9 KB - Last synced at: 5 months ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0

wenkokke/agda-pregroup

a formalisation of the theory of pregoups as described by Lambek in Agda

Language: Agda - Size: 177 KB - Last synced at: 5 months ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 0

wenkokke/lacl2016

a paper extracted from my master's thesis on categorial grammar

Language: TeX - Size: 587 KB - Last synced at: 5 months ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 0

ABCTreebank/abctk.obj

Python datatype declarations, (de)serializers and miscellaneous functions for the ABC Treebank and related projects

Language: Python - Size: 86.9 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

konstantinosKokos/phd-thesis

🎓 My PhD thesis.

Language: TeX - Size: 44.5 MB - Last synced at: 5 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

RichardMoot/Grail2

Grail 2 theorem prover in SICStus Prolog with TclTk user interface

Language: Prolog - Size: 230 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

wenkokke/dopcg2016 📦

wherein I blabber about data-oriented parsing and categorial grammars

Language: Makefile - Size: 20.5 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0