Alternatives and similar repositories for Language-Toolkit-2

Users that are interested in Language-Toolkit-2 are comparing it to the libraries listed below

• fintelkai / fintel-heim-intensional-notes
  Lecture notes on intensional semantics by Kai von Fintel and Irene Heim
  ☆45Updated last year
• alenaks / SigmaPie
  Subregular toolkit for language processing
  ☆22Updated 5 years ago
• rawlins / lambda-notebook
  Lambda Notebook: Formal Semantics in Jupyter
  ☆27Updated 2 weeks ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆141Updated last week
• epstabler / mgtdb
  MG top-down beam parsing
  ☆13Updated 7 years ago
• shraddhabarke / SyPhon
  SyPhon: Constraint-based Learning of Phonological Rules
  ☆12Updated 5 months ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆58Updated last week
• formalabstracts / CNL-CIC
  A controlled natural language for calculus of inductive constructions, based on Forthel.
  ☆14Updated 4 years ago
• dmort27 / HsSPE
  Haskell phonology library.
  ☆11Updated 13 years ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆66Updated last month
• ComputerAidedLL / click-and-collect
  A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml
  ☆22Updated 4 months ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• delph-in / matrix
  The Grammar Matrix
  ☆13Updated 3 months ago
• GrammarSoft / cg3
  Tools for the 3rd edition of the Constraint Grammar formalism.
  ☆24Updated last week
• nyusemantics / LambdaCalculatorPublic
  ☆16Updated 2 years ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• JanWielemaker / chat80
  Classical CHAT80 NLP system for Prolog
  ☆22Updated 6 months ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆49Updated 2 months ago
• mhulden / foma
  Automatically exported from code.google.com/p/foma
  ☆122Updated 6 months ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• Sintrastes / Montague
  A library for non-deterministically parsing natural language expressions into a structured form.
  ☆17Updated 2 years ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆44Updated last year
• PterosDiacos / lambekseq
  Semantic graph parser based on Categorial grammars
  ☆15Updated 2 months ago
• hfst / hfst
  Helsinki Finite-State Technology (library and application suite)
  ☆133Updated 3 months ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆34Updated last week
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆133Updated last year
• webyrd / relational-interpreter-book-and-course
  Book and code and pointers to videos for my relational interpreter course
  ☆12Updated 7 months ago
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 5 years ago
• iwilare / church-rosser
  A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…
  ☆28Updated 2 years ago