gregnwosu/intellij-scala
Scala plugin for IntelliJ IDEA
Public GitHub Catalog
Discovered Oct 2, 2026
gregnwosu / dth
Examples of Dependently-typed programs 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.
#25842589GitHub System ID
gregnwosuOrganization / User
PublicVisibility
ActiveCatalog Status
More from gregnwosu
gregnwosu/backprop-example
An example of back-propagation implemented in Haskell.
gregnwosu/know-your-http-well
HTTP headers, media-types, methods, relations and status codes, all summarized and linking to their specification.
gregnwosu/SprayApiDemo
Public repository.