jeremy-w/tryidris
Try Idris
Public GitHub Catalog
Discovered Sep 26, 2026
jeremy-w / demo-draft
Draft demonstrates one way that GCD queue-specific value lookup can drive a rudimentary prototype-based object system. (A written draft is also the prototype of a written dispatch.) [MIT-X11]
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.
#7708232GitHub System ID
jeremy-wOrganization / User
PublicVisibility
ActiveCatalog Status
More from jeremy-w
jeremy-w/fish-shell
The user-friendly command line shell.
jeremy-w/ragel-cheat-sheet
Cheat sheet for the Ragel state machine compiler. (GPLv2+)
jeremy-w/thrift
Mirror of Apache Thrift