creichert/idris-bash
GNU bash backend for Idris
Public GitHub Catalog
Discovered Oct 14, 2026
creichert / git-annex-el
Emacs integration for the git-annex tool by Joey Hess
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.
#37783297GitHub System ID
creichertOrganization / User
PublicVisibility
ActiveCatalog Status
More from creichert
creichert/free
free monads
creichert/nominatim
Nominatim API Client and Corresponding Haskell Library
creichert/monad-logger-truncated
monad-logger backend designed to deal with verbose logging