Mathematical/Theoretical/Computational Linguistics, Formal Syntax/Semantics/Pragmatics/Philosophy
lightblue. A CCG parser for Japanese with DTS-representations
JSeM. Japanese semantic test suite (FraCaS counterpart and extensions)
ESSLLI2025. ESSLLI2025 course: Composing Meaning via Dependent Types
hasktorch-tools. Deep learning tools for hasktorch
nlp-tools. Haskell