Valeria de Paiva's repositories
DialecticaCategories
A place to collect work on dialectica categories.
Encyclopedia
An Open Encyclopedia of Proof Systems
Dialectica
2022 AMS MRC on Applied Category Theory.
RecordedTalks
a place to keep information about my talks
brasileiras-pln
Repositório para recursos
cut-fill-agda
Agda sources used in my paper with Valeria de Paiva
vcvpaiva.github.io
my personal website
women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research
MathNLI2024-
A repo for work with Larry, Hai, Bert, Pavel and Yikang
agda-categories
A new Categories library for Agda
dhbb-1
Dicionário Histórico Biográfico Brasileiro
grade-school-math
Getting the data from GSM8k
LexicalResourcesPT
a place to aggregate descriptions of datasets for lexical resources
openWordnet-PT
OpenWordnet-PT: an open Brazilian Wordnet
Portuguese-NLP
List of resources and tools developed with focus on Portuguese.