notogawa/type-level-sets
Type-level sets for Haskell (with value-level counterparts and various operations)
Public GitHub Catalog
Discovered Oct 3, 2026
notogawa / haiji
A typed template engine, subset of jinja2
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.
#28530656GitHub System ID
notogawaOrganization / User
PublicVisibility
ActiveCatalog Status
More from notogawa
notogawa/agda-interactive-server
agda --interactive websocket server
notogawa/agda-haskell-example
example haskell project with agda code generation
notogawa/packer
Packer is a tool for creating identical machine images for multiple platforms from a single source configuration.