kmels/polyvariant
An implementation of a flow analysis for higher order languages
Public GitHub Catalog
Discovered Sep 27, 2026
kmels / referential-transparency
http://referential-transparency.tautologer.com, a theory blog of @kmels and @netogallo
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.
#9192568GitHub System ID
kmelsOrganization / User
PublicVisibility
ActiveCatalog Status
More from kmels
kmels/HPom
Pom dependency graph
kmels/tetris-hs
FRP tetris in Haskell with Netwire.
kmels/Cryptographer
Encrypt content and embed it into a static HTML to host it publicly