vvulpes0 / Language-Toolkit-2Links
A set of tools for analyzing languages via logic and automata
☆27Updated 5 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☆23Updated 5 years ago
- SyPhon: Constraint-based Learning of Phonological Rules☆11Updated 11 months ago
- Lambda Notebook: Formal Semantics in Jupyter☆30Updated last month
- MG top-down beam parsing☆13Updated 7 years ago
- ☆18Updated 3 years ago
- Grammatical Framework core: compiler, shell & runtimes☆150Updated 2 months ago
- Haskell phonology library.☆10Updated 14 years ago
- Domain-specific programming language for linguistic grammars and transducers — Langage dédié pour les grammaires linguistiques et les tra…☆17Updated this week
- Automatically exported from code.google.com/p/foma☆128Updated 5 months ago
- Helsinki Finite-State Technology (library and application suite)☆136Updated last month
- Metamath verifier in Python☆41Updated 8 months ago
- Python Finite-State Toolkit☆60Updated last month
- A controlled natural language for calculus of inductive constructions, based on Forthel.☆14Updated 4 years ago
- A DSL for the internal language of a topos☆66Updated 6 months ago
- Grammatical Framework's Resource Grammar Library (RGL)☆63Updated last month
- The Grammar Matrix☆15Updated 2 weeks ago
- The formal proof of the Odd Order Theorem☆37Updated 3 months ago
- A symbolic model checker for Dynamic Epistemic Logic.☆49Updated 3 months ago
- Mirror of ocaml-forester☆49Updated last year
- PHOIBLE data and development.☆141Updated last year
- Type-driven syntactic and semantic effectful parsing for NL☆15Updated 3 months ago
- A heuristic procedure for proving inequalities☆34Updated 7 years ago
- A program for making zooming slides in figma.☆41Updated 7 months ago
- Generates natural language versions of Coq proofs☆51Updated 8 years ago
- Emacs mode for Lean☆68Updated 2 years ago
- Implementation of higher-order logic in Python☆66Updated 2 years ago
- Finite state and Constraint Grammar based analysers and proofing tools, and language resources for the Plains Cree language☆16Updated last week
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated 3 months ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆24Updated 10 months ago