mantognini/ssapldu
Presentation Slides for Solving Shape-Analysis Problems in Languages with Destructive Updating
Public GitHub Catalog
Discovered Oct 3, 2026
mantognini / Image-Skeletonisation
A performance comparison with Thrust
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.
#28098366GitHub System ID
mantogniniOrganization / User
PublicVisibility
ActiveCatalog Status
More from mantognini
mantognini/leon
The Leon system for verification, synthesis, and more.
mantognini/LIENL
Large-scale Information Extraction from Neuroscientific Literature
mantognini/funsoft
Foundations of Software 2014-2015 by Fred and Marco