pthariensflame/lib-agda
My customized version of the Agda standard library
Public GitHub Catalog
Discovered Sep 26, 2026
pthariensflame / injection-monad
A monad transformer for typed, manipulable injection.
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.
#5603591GitHub System ID
pthariensflameOrganization / User
PublicVisibility
ActiveCatalog Status
More from pthariensflame
pthariensflame/elementscript-micro
A minimal Elementscript variant with which to experiment with infix homoiconicity.
pthariensflame/PolyBase
Hyper-polymorphic classes for Haskell
pthariensflame/ChannelT
Generalized stream processors