defanor/hydra-bot
A concurrency-friendly IRC bot
Public GitHub Catalog
Discovered Oct 6, 2026
defanor / idris-ffi-example
A minimal example of the Idris C FFI
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.
#31247078GitHub System ID
defanorOrganization / User
PublicVisibility
ActiveCatalog Status
More from defanor
defanor/numtower
A numerical tower for Idris
defanor/idris-json-rpc
JSON-RPC 2.0 in Idris
defanor/IdrisNet2
A proper network library for Idris, now that I know what I'm doing.