vvulpes0 / Language-Toolkit-2Links
A set of tools for analyzing languages via logic and automata
☆24Updated 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
- Subregular toolkit for language processing☆22Updated 5 years ago
- Lambda Notebook: Formal Semantics in Jupyter☆28Updated this week
- Haskell phonology library.☆10Updated 13 years ago
- MG top-down beam parsing☆13Updated 7 years ago
- Grammatical Framework core: compiler, shell & runtimes☆145Updated last week
- Grammatical Framework's Resource Grammar Library (RGL)☆59Updated last week
- ☆17Updated 3 years ago
- SyPhon: Constraint-based Learning of Phonological Rules☆12Updated 8 months ago
- Helsinki Finite-State Technology (library and application suite)☆136Updated 3 weeks ago
- Mirror of ocaml-forester☆45Updated last year
- Metamath verifier in Python☆40Updated 5 months ago
- A controlled natural language for calculus of inductive constructions, based on Forthel.☆14Updated 4 years ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆24Updated 7 months ago
- A formal proof of the independence of the continuum hypothesis☆136Updated last year
- Tools for the 3rd edition of the Constraint Grammar formalism.☆23Updated this week
- Domain-specific programming language for linguistic grammars and transducers — Langage dédié pour les grammaires linguistiques et les tra…☆16Updated last week
- An opinionated biblatex implementation of the Unified Stylesheet for Linguistics Journals☆43Updated 9 months ago
- Automatically exported from code.google.com/p/foma☆124Updated 2 months ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆18Updated 2 years ago
- Real number computation software☆128Updated 3 years ago
- The formal proof of the Odd Order Theorem☆36Updated 2 weeks ago
- The Agda Universal Algebra Library (html docs available at the url below)☆38Updated 11 months ago
- Semantic graph parser based on Categorial grammars☆15Updated 4 months ago
- SegBo: A database of borrowed sounds in the world’s languages☆16Updated last year
- A program for making zooming slides in figma.☆41Updated 4 months ago
- a library for experimental linear lambda calculus☆20Updated 2 years ago
- ☆92Updated 7 months ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Cross-Linguistic Transcription Systems☆16Updated 11 months ago