michaelt/remorse
`Streaming/FreeT` type implemented with `type-aligned` - which, alas, fills everything with molasses
Public GitHub Catalog
Discovered Sep 28, 2026
michaelt / martin-lof
papers of Per Martin Löf
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.
#13486445GitHub System ID
michaeltOrganization / User
PublicVisibility
ActiveCatalog Status
More from michaelt
michaelt/pipes-bytestring-mmap
lazy bytestrings from `bytestring-mmap` replaced by `Producer ByteString IO ()`
michaelt/series
Preludes for FreeT, Pipes.Producer, etc. with a simple build/foldr optimization model following Data.List
michaelt/ltr
private nonsense