notogawa/haiji
A typed template engine, subset of jinja2
Public GitHub Catalog
Discovered Sep 25, 2026
notogawa / yesod-websocket-sample
YesodでWebSocketなサンプル
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.
#4939081GitHub 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