japesinator/complex
Messing around with complex numbers in idris
Public GitHub Catalog
Discovered Oct 7, 2026
japesinator / thotcon_0x6_pres
Public repository discovered through GitHub real-time crawl.
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.
#36247216GitHub 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