jensnicolay/purity
Purity analysis for higher-order, side-effecting programs
Public GitHub Catalog
Discovered Sep 29, 2026
jensnicolay / abstractmemo
Abstract memoization for stack-summarizing pushdown analysis of higher-order languages.
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.
#14324602GitHub System ID
jensnicolayOrganization / User
PublicVisibility
ActiveCatalog Status
More from jensnicolay
jensnicolay/jfingertree
Automatically exported from code.google.com/p/jfingertree
jensnicolay/streme
Automatically exported from code.google.com/p/streme
jensnicolay/stacco
Automatically exported from code.google.com/p/stacco