japesinator/thotcon_0x6_pres
Public repository.
Public GitHub Catalog
Discovered Oct 7, 2026
japesinator / complex
Messing around with complex numbers in idris
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.
#35119709GitHub System ID
japesinatorOrganization / User
PublicVisibility
ActiveCatalog Status
More from japesinator
japesinator/eve-api
API for a simulated smart home
japesinator/Stresperiments
Public repository.
japesinator/retro2
Some tools for a better (read: not totally broken) version of my HackIllinois project