defanor/idris-bot
An IRC bot connected to an Idris REPL
Public GitHub Catalog
Discovered Oct 16, 2026
defanor / info-wiki
MediaWiki XML dumps → info files converter
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#39178294GitHub System ID
defanorOrganization / User
PublicVisibility
ActiveCatalog Status
More from defanor
defanor/hydra-bot
A concurrency-friendly IRC bot
defanor/numtower
A numerical tower for Idris
defanor/idris-json-rpc
JSON-RPC 2.0 in Idris