jeremy-w/tryidris
Try Idris
Public GitHub Catalog
Discovered Sep 28, 2026
jeremy-w / exercism.io
Exercises with crowd-sourced code reviews. The gem repo is at http://github.com/kytrinyx/exercism
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.
#12392153GitHub 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