vvulpes0 / Language-Toolkit-2Links
A set of tools for analyzing languages via logic and automata
☆25Updated 3 months ago
Alternatives and similar repositories for Language-Toolkit-2
Users that are interested in Language-Toolkit-2 are comparing it to the libraries listed below
Sorting:
- Lecture notes on intensional semantics by Kai von Fintel and Irene Heim☆46Updated last year
- Lambda Notebook: Formal Semantics in Jupyter☆30Updated this week
- Subregular toolkit for language processing☆22Updated 5 years ago
- MG top-down beam parsing☆13Updated 7 years ago
- ☆17Updated 3 years ago
- Grammatical Framework's Resource Grammar Library (RGL)☆60Updated 2 weeks ago
- Grammatical Framework core: compiler, shell & runtimes☆145Updated 3 weeks ago
- SyPhon: Constraint-based Learning of Phonological Rules☆12Updated 9 months ago
- A DSL for the internal language of a topos☆66Updated 4 months ago
- Haskell phonology library.☆10Updated 13 years ago
- Tools for the 3rd edition of the Constraint Grammar formalism.☆23Updated 3 weeks ago
- A controlled natural language for calculus of inductive constructions, based on Forthel.☆14Updated 4 years ago
- Helsinki Finite-State Technology (library and application suite)☆136Updated last month
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated last month
- Mirror of ocaml-forester☆47Updated last year
- Semantic graph parser based on Categorial grammars☆16Updated 5 months ago
- Domain-specific programming language for linguistic grammars and transducers — Langage dédié pour les grammaires linguistiques et les tra…☆16Updated last week
- Real number computation software☆128Updated 3 years ago
- universal syllabification algorithms☆45Updated 2 years ago
- Verified decision procedures for modal logics in Lean☆12Updated 5 years ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- A program for making zooming slides in figma.☆41Updated 5 months ago
- Very controlled natural language tactics for Lean☆64Updated last year
- A library for non-deterministically parsing natural language expressions into a structured form.☆18Updated 2 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Relational version of parsing with derivatives code☆43Updated 12 years ago
- Automatically exported from code.google.com/p/foma☆125Updated 3 months ago
- eXtensible Interlinear Glossed Text☆33Updated 3 years ago
- ☆22Updated 4 years ago
- Describe Toki Pona using Grammatical Framework☆11Updated 5 years ago