LeifW/wartremover
Flexible Scala code linting tool
Public GitHub Catalog
Discovered Oct 1, 2026
LeifW / iQuery
Idris Lib to interact with the DOM and Browser API for the JavaScript backend
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.
#20611746GitHub System ID
LeifWOrganization / User
PublicVisibility
ActiveCatalog Status
More from LeifW
LeifW/scalaz-contrib
Interoperability libraries & additional data structures and instances for Scalaz
LeifW/SDL-idris
SDL bindings package for idris
LeifW/idris-xml-simple
Simple XML ADT for Idris