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