Alternatives and similar repositories for fintel-heim-intensional-notes:

Users that are interested in fintel-heim-intensional-notes are comparing it to the libraries listed below

• semprag / biblatex-unified
  An opinionated biblatex implementation of the Unified Stylesheet for Linguistics Journals
  ☆41Updated last month
• vvulpes0 / Language-Toolkit-2
  A set of tools for analyzing languages via logic and automata
  ☆24Updated 5 months ago
• epstabler / mgtdb
  MG top-down beam parsing
  ☆13Updated 6 years ago
• rawlins / lambda-notebook
  Lambda Notebook: Formal Semantics in Jupyter
  ☆27Updated last month
• alenaks / SigmaPie
  Subregular toolkit for language processing
  ☆22Updated 4 years ago
• bozsahin / ccg-latex
  latex style file for drawing Combinatory Categorial Grammar (CCG) derivations
  ☆21Updated last year
• wenkokke / NLQ
  A framework for natural language syntax and semantics based on type theory.
  ☆13Updated last year
• stanojevic / Rotating-CCG
  ☆19Updated 3 years ago
• cysouw / pandoc-ling
  Pandoc Lua filter for linguistic examples
  ☆39Updated 2 months ago
• nyusemantics / LambdaCalculatorPublic
  ☆16Updated 2 years ago
• apertium / lexd
  A lexicon compiler for non-suffixational morphologies
  ☆12Updated last month
• formalabstracts / CNL-CIC
  A controlled natural language for calculus of inductive constructions, based on Forthel.
  ☆15Updated 4 years ago
• ayberkt / grammar-inference
  Learning rigid grammars in Haskell.
  ☆24Updated 7 years ago
• thosgood / sga
  An English translation of the Séminaire de Géométrie Algébrique du Bois Marie
  ☆31Updated 3 weeks ago
• dylnb / esslli2015-monads
  materials for ESSLLI 2015 course: Monads and Natural Language
  ☆25Updated 9 years ago
• natalieweber / leipzig
  A LaTeX package to typeset and index linguistic gloss abbreviations
  ☆14Updated 2 years ago
• wyleyr / ox-linguistics
  Support for linguistics-style examples in Org mode
  ☆10Updated 2 years ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆42Updated 8 months ago
• meta-logic / lltp
  TPTP linear logic version
  ☆13Updated last month
• ftyers / ud-scripts
  Scripts for compatibilitising between VISL-CG3, Apertium, CoNLL-X and Universal Dependencies
  ☆15Updated 5 years ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆61Updated 7 months ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆75Updated 3 years ago
• addrummond / ibex
  Psycholinguistic experiments online
  ☆55Updated 3 years ago
• giellalt / lang-crk
  Finite state and Constraint Grammar based analysers and proofing tools, and language resources for the Plains Cree language
  ☆15Updated last week
• bozsahin / ccglab
  Combinatory Categorial Grammar (CCG): Full set CCG, and probabilistic CCG
  ☆27Updated last year
• xigt / xigt
  eXtensible Interlinear Glossed Text
  ☆32Updated 2 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆32Updated last year
• jonsterling / latex-dieudonne
  A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.
  ☆19Updated 3 years ago
• byorgey / series-formelles
  Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…
  ☆29Updated 7 months ago