haselwarter/k-9
K-9 Mail, An advanced email client for Android
Public GitHub Catalog
Discovered Sep 27, 2026
haselwarter / mosh
Mobile Shell
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#9284291GitHub System ID
haselwarterOrganization / User
PublicVisibility
ActiveCatalog Status
More from haselwarter
haselwarter/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
haselwarter/merlin
Context sensitive completion for Ocaml in Vim and Emacs
haselwarter/emacs-calfw
A calendar framework for Emacs