jonsterling/drafts
Drafts of posts for my blog
Public GitHub Catalog
Discovered Oct 14, 2026
jonsterling / sml-zipper
Huet's Zipper
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.
#38350449GitHub System ID
jonsterlingOrganization / User
PublicVisibility
ActiveCatalog Status
More from jonsterling
jonsterling/sml-kripke-schema
Kripke's Schema as a computational effect
jonsterling/sml-spreads
A library for Brouwerian data structures (spreads, fans, choice sequences)
jonsterling/sml-intensional-lcf
extensions to the LCF signature for interactive refinement proof