bkase/idris2048
2048 in Idris
Public GitHub Catalog
Discovered Sep 25, 2026
bkase / zsh-git-prompt
Informative git prompt for zsh
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.
#3915271GitHub System ID
bkaseOrganization / User
PublicVisibility
ActiveCatalog Status
More from bkase
bkase/site
new personal site
bkase/StaticAlamofire
An experiment to build a static swift library with Alamofire
bkase/apns
A Golang package for sending Apple Push Notifications and using the Feedback Service.