mantognini/ssapldu
Presentation Slides for Solving Shape-Analysis Problems in Languages with Destructive Updating
Public GitHub Catalog
Discovered Oct 2, 2026
mantognini / SFMLJoystickTestbed
Test out joysticks in SFML.
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.
#23954207GitHub 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/Image-Skeletonisation
A performance comparison with Thrust