LeifW/IdrisNet2
A proper network library for Idris, now that I know what I'm doing.
Public GitHub Catalog
Discovered Sep 24, 2026
LeifW / warp-static
Static file server based on Warp and wai-app-static
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.
#1473779GitHub 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