notogawa/agda-interactive-server
agda --interactive websocket server
Public GitHub Catalog
Discovered Sep 24, 2026
notogawa / hhl4cpp
Public repository discovered through GitHub real-time crawl.
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.
#2058322GitHub System ID
notogawaOrganization / User
PublicVisibility
ActiveCatalog Status
More from notogawa
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.
notogawa/sfja-code
Codes for 'Software Foundations'