vvulpes0 / Language-Toolkit-2Links
A set of tools for analyzing languages via logic and automata
☆23Updated 2 weeks 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☆45Updated 11 months ago
- Subregular toolkit for language processing☆22Updated 5 years ago
- MG top-down beam parsing☆13Updated 7 years ago
- Lambda Notebook: Formal Semantics in Jupyter☆27Updated 2 weeks ago
- A controlled natural language for calculus of inductive constructions, based on Forthel.☆14Updated 4 years ago
- ☆16Updated 2 years ago
- Grammatical Framework core: compiler, shell & runtimes☆142Updated this week
- Grammatical Framework's Resource Grammar Library (RGL)☆58Updated 2 months ago
- Mirror of ocaml-forester☆45Updated last year
- SyPhon: Constraint-based Learning of Phonological Rules☆12Updated 5 months ago
- A program for making zooming slides in figma.☆38Updated last month
- Helsinki Finite-State Technology (library and application suite)☆133Updated 2 months ago
- Very controlled natural language tactics for Lean☆64Updated last year
- Relational version of parsing with derivatives code☆43Updated 12 years ago
- Effective Algebraic Topology in Haskell☆91Updated 10 months ago
- A DSL for the internal language of a topos☆65Updated 3 weeks ago
- A formal proof of the independence of the continuum hypothesis☆132Updated 11 months ago
- A symbolic model checker for Dynamic Epistemic Logic.☆46Updated 2 weeks ago
- ☆21Updated 4 years ago
- Automatically exported from code.google.com/p/foma☆122Updated 5 months ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆33Updated last week
- Categorical Logic Notes☆79Updated 3 years ago
- 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
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated last month
- Homotopy type theory cheatsheets to read the HoTT Book☆11Updated 6 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Semantic graph parser based on Categorial grammars☆15Updated last month
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆49Updated last month
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Real number computation software☆126Updated 2 years ago