Name: Valeria de Paiva
Type: User
Company: @ToposInstitute
Bio: I am a mathematician and AI Research Scientist. My research interests include category theory, type theories, semantics of NL and lexical semantics.
Twitter: valeriadepaiva
Location: Cupertino, CA
agda-categories
A new Categories library for Agda
basictex
Shulman's basic LaTeX macros and BibTeX file, to try to adapt for myself.
brasileiras-pln
Repositório para recursos
bridgebasictests
Linguistic data to test basic phenomena
categories-mailing-
cattheory4all
A project to create open source, re-usable latex for category theory definitions.
causality2023
cl-wnbrowser
A collaborative editor for OpenWordnet-PT.
clinical
code4mathorg.github.io
constructivemodallogic
cut-fill-agda
Agda sources used in my paper with Valeria de Paiva
deeprank
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.
deplambda
dhbb-1
Dicionário Histórico Biográfico Brasileiro
dhbbspacy
dialectica
2022 AMS MRC on Applied Category Theory.
dialecticacategories
A place to collect work on dialectica categories.
dialecticalambek
Back to the Dialectica Model of the Lambek Calculus
dialset
docs
Universal Dependencies online documentation
encyclopedia
An Open Encyclopedia of Proof Systems
english-wordnet
The Open English WordNet
fracas-br-draft.csv
gf
GF, Grammatical Framework, is a programming language for multilingual grammar applications. This is a mirror of the darcs repository.
gkr_semantic_parser
The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph
grade-school-math
Getting the data from GSM8k
hott
Homotopy type theory
ibm-vm-verbs
juanwork
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
