LeifW/IdrisNet2
A proper network library for Idris, now that I know what I'm doing.
Public GitHub Catalog
Discovered Sep 25, 2026
LeifW / xmonad-utils
A small collection of X utilities useful when running XMonad.
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.
#5378307GitHub 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