vvulpes0 / Language-Toolkit-2Links
A set of tools for analyzing languages via logic and automata
☆25Updated 4 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 2 weeks ago
- Subregular toolkit for language processing☆22Updated 5 years ago
- MG top-down beam parsing☆13Updated 7 years ago
- Haskell phonology library.☆10Updated 13 years ago
- Grammatical Framework core: compiler, shell & runtimes☆146Updated last month
- ☆17Updated 3 years ago
- Grammatical Framework's Resource Grammar Library (RGL)☆60Updated last month
- Relational version of parsing with derivatives code☆43Updated 12 years ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆24Updated 8 months ago
- SyPhon: Constraint-based Learning of Phonological Rules☆11Updated 9 months ago
- A symbolic model checker for Dynamic Epistemic Logic.☆49Updated 2 months ago
- Type-driven syntactic and semantic effectful parsing for NL☆15Updated last month
- A DSL for the internal language of a topos☆66Updated 5 months ago
- A quick Python 3 port of the FAdo Project☆14Updated 7 years ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆18Updated 2 years ago
- A controlled natural language for calculus of inductive constructions, based on Forthel.☆14Updated 4 years ago
- A database of small finite categories☆14Updated last year
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- The Grammar Matrix☆15Updated 3 weeks ago
- I.I-XI of Spinoza's Ethics, formalized in Coq☆18Updated 10 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆60Updated 2 weeks ago
- ☆56Updated 8 months ago
- Mirror of ocaml-forester☆49Updated last year
- Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…☆30Updated last year
- Implementation of higher-order logic in Python☆66Updated 2 years ago
- A toolkit for higher-dimensional diagram rewriting.☆18Updated 3 years ago
- ☆94Updated 8 months ago
- Helsinki Finite-State Technology (library and application suite)☆136Updated 2 months ago
- Effective Algebraic Topology in Haskell☆90Updated last year