7jpinheiro/cityRoots-mobile
Repositório da plataforma mobile do grupo Roteiro Turístico da UCE15(2013/2014) do Mestrado de Engenharia Informática na Universidade do Minho.
Public GitHub Catalog
Discovered Oct 1, 2026
7jpinheiro / GamaSlicer
A frama-c plugin that implements assertion based slicing
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.
#21578883GitHub System ID
7jpinheiroOrganization / User
PublicVisibility
ActiveCatalog Status
More from 7jpinheiro
7jpinheiro/cityRoots-web
Repositório da plataforma web do grupo Roteiro Turístico da UCE15(2013/2014) do Mestrado de Engenharia Informática na Universidade do Minho.
7jpinheiro/solvesurvo
Use of Z3 smt solver with Python api to solve the Survo puzzle