vvulpes0 / Language-Toolkit-2Links
A set of tools for analyzing languages via logic and automata
☆23Updated 2 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☆45Updated 11 months ago
- Subregular toolkit for language processing☆22Updated 4 years ago
- Lambda Notebook: Formal Semantics in Jupyter☆27Updated 2 months ago
- Grammatical Framework core: compiler, shell & runtimes☆142Updated last month
- ☆16Updated 2 years ago
- Grammatical Framework's Resource Grammar Library (RGL)☆58Updated last month
- A controlled natural language for calculus of inductive constructions, based on Forthel.☆14Updated 4 years ago
- Classical CHAT80 NLP system for Prolog☆22Updated 4 months ago
- Helsinki Finite-State Technology (library and application suite)☆133Updated last month
- An opinionated biblatex implementation of the Unified Stylesheet for Linguistics Journals☆42Updated 5 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated 3 weeks ago
- Categorical Logic Notes☆79Updated 3 years ago
- Automatically exported from code.google.com/p/foma☆122Updated 4 months ago
- DELPH-IN Documentation☆29Updated this week
- Very controlled natural language tactics for Lean☆64Updated last year
- A Python package for learning, evaluating, annotating, and extracting vector representations of construction grammars☆38Updated 9 months ago
- ☆21Updated 4 years ago
- The Grammar Matrix☆13Updated 2 months ago
- SegBo: A database of borrowed sounds in the world’s languages☆16Updated last year
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆22Updated 3 months ago
- eXtensible Interlinear Glossed Text☆33Updated 3 years ago
- A program for making zooming slides in figma.☆37Updated 2 weeks ago
- Command line interface from graph rewriting☆8Updated this week
- List of papers and other resources at the intersection of Category Theory and NLP.☆54Updated 2 years ago
- Effective Algebraic Topology in Haskell☆91Updated 10 months ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Tag-based webview of LaTeX documents☆30Updated last year
- A DSL for the internal language of a topos☆64Updated 2 weeks ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆48Updated 3 weeks ago
- The formal proof of the Odd Order Theorem☆31Updated 2 weeks ago