notogawa/haiji
A typed template engine, subset of jinja2
Public GitHub Catalog
Discovered Oct 3, 2026
notogawa / type-level-sets
Type-level sets for Haskell (with value-level counterparts and various operations)
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.
#28452966GitHub 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.