7jpinheiro/GamaSlicer
A frama-c plugin that implements assertion based slicing
Public GitHub Catalog
Discovered Sep 29, 2026
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.
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.
#14402756GitHub 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