LeifW/IdrisNet2
A proper network library for Idris, now that I know what I'm doing.
Public GitHub Catalog
Discovered Oct 1, 2026
LeifW / idris-xml-simple
Simple XML ADT for Idris
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.
#21641871GitHub System ID
LeifWOrganization / User
PublicVisibility
ActiveCatalog Status
More from LeifW
LeifW/learnhaskell
Learn Haskell
LeifW/wartremover
Flexible Scala code linting tool
LeifW/scalaz-contrib
Interoperability libraries & additional data structures and instances for Scalaz