recardona/oops
Object Oriented Prover for S5n
Public GitHub Catalog
Discovered Sep 25, 2026
recardona / Skeleton-Key-HD-iPad
iPad version of Skeleton Key: is an addictive and unique puzzle game in which you shift keys around the board unlocking treasure chests. Made with cocos2d-iphone.
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.
#3585979GitHub System ID
recardonaOrganization / User
PublicVisibility
ActiveCatalog Status
More from recardona
recardona/Java-FOPL
A Java-based meta-linguistic abstraction of the first-order predicate calculus.
recardona/simplenlg
Java API for Natural Language Generation
recardona/League-of-Legends-Viewer
A viewer of the Riot Games API.