tcvieira/tableau
Tableau Prover for KD45 and S5 with PTL modal logic
Public GitHub Catalog
Discovered Oct 1, 2026
tcvieira / BrasilJS
Javascript that shows how to include any kind of info about Brazilian states in a dynamic map.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#20708693GitHub System ID
tcvieiraOrganization / User
PublicVisibility
ActiveCatalog Status
More from tcvieira
tcvieira/nsp
needham schroeder public key protocol specification in PROMELA
tcvieira/gdd11
provinha de programação do google developer day 2011
tcvieira/Tijolo
Tijolo Esperto