haselwarter/martin-lof
papers of Per Martin Löf
Public GitHub Catalog
Discovered Sep 25, 2026
haselwarter / emacs-calfw
A calendar framework for Emacs
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.
#2940770GitHub System ID
haselwarterOrganization / User
PublicVisibility
ActiveCatalog Status
More from haselwarter
haselwarter/hol-light
Automatically exported from code.google.com/p/hol-light
haselwarter/multiple-cursors.el
Multiple cursors for emacs.
haselwarter/andromeda-opam
Public repository.