notogawa/agda-interactive-server
agda --interactive websocket server
Public GitHub Catalog
Discovered Sep 30, 2026
notogawa / sfja-code
Codes for 'Software Foundations'
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.
#18981196GitHub 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/ghc-mod
Happy Haskell programming for editors