notogawa/agda-haskell-example
example haskell project with agda code generation
Public GitHub Catalog
Discovered Oct 2, 2026
notogawa / agda-interactive-server
agda --interactive websocket server
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.
#23831460GitHub 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