notogawa/haiji
A typed template engine, subset of jinja2
Public GitHub Catalog
Discovered Sep 30, 2026
notogawa / genjitsu
Restricted IO
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.
#17010372GitHub System ID
notogawaOrganization / User
PublicVisibility
ActiveCatalog Status
More from notogawa
notogawa/type-level-sets
Type-level sets for Haskell (with value-level counterparts and various operations)
notogawa/agda-interactive-server
agda --interactive websocket server
notogawa/agda-haskell-example
example haskell project with agda code generation