notogawa/agda-interactive-server
agda --interactive websocket server
Public GitHub Catalog
Discovered Oct 2, 2026
notogawa / agda-haskell-example
example haskell project with agda code generation
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.
#23317467GitHub System ID
notogawaOrganization / User
PublicVisibility
ActiveCatalog Status
More from notogawa
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'
notogawa/ghc-mod
Happy Haskell programming for editors