joeschmo/joebot2
Haskell IRC Bot
Public GitHub Catalog
Discovered Oct 1, 2026
joeschmo / Configs
configs
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.
#20486915GitHub System ID
joeschmoOrganization / User
PublicVisibility
ActiveCatalog Status
More from joeschmo
joeschmo/HoTT
Homotopy type theory
joeschmo/hott-agda
Public repository.
joeschmo/gst-hs
godel's system T interpreter with simple REPL