Valeria de Paiva's Projects
A new Categories library for Agda
Shulman's basic LaTeX macros and BibTeX file, to try to adapt for myself.
Repositório para recursos
Linguistic data to test basic phenomena
A project to create open source, re-usable latex for category theory definitions.
A collaborative editor for OpenWordnet-PT.
Agda sources used in my paper with Valeria de Paiva
A first cut into exploring the use of dependency links for building Text Graphs, that, among other things, with help of a centrality algorithm like *PageRank*, can extract relevant keywords and summaries from text documents.
Dicionário Histórico Biográfico Brasileiro
2022 AMS MRC on Applied Category Theory.
A place to collect work on dialectica categories.
Back to the Dialectica Model of the Lambek Calculus
Universal Dependencies online documentation
An Open Encyclopedia of Proof Systems
The Open English WordNet
GF, Grammatical Framework, is a programming language for multilingual grammar applications. This is a mirror of the darcs repository.
The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph
Getting the data from GSM8k
Homotopy type theory