deftsp/learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
Public GitHub Catalog
Discovered Oct 7, 2026
deftsp / monaco-bold
The Monaco font with a bold variant
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.
#35195356GitHub System ID
deftspOrganization / User
PublicVisibility
ActiveCatalog Status
More from deftsp
deftsp/old-dotfiles
Automatically exported from code.google.com/p/deftsp-dotfiles
deftsp/ace-window
Quickly switch windows using `ace-jump-mode'
deftsp/haskelldocumentation
Repository for collaborative Haskell documentation