LeifW/IdrisNet2
A proper network library for Idris, now that I know what I'm doing.
Public GitHub Catalog
Discovered Sep 28, 2026
LeifW / swish
Semantic Web Inference Scripting in Haskell
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#13532547GitHub 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