An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: type-logical-grammar

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: 2 months ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 3

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: 3 months ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

konstantinosKokos/neural-proof-nets 📦

A neural parser for typelogical grammars based on Sinkhorn networks and Linear Logic Proof Nets.

Language: Python - Size: 239 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1