mandubian/Idris-dev
A Dependently Typed Functional Programming Language
Public GitHub Catalog
Discovered Sep 30, 2026
mandubian / zpark-ztream
Driving Spark stream with Scalaz-Stream
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.
#16852376GitHub System ID
mandubianOrganization / User
PublicVisibility
ActiveCatalog Status
More from mandubian
mandubian/commons-aws
Streaming / asynchronous Scala client for common AWS services
mandubian/akka-stream-extensions
Extensions for Akka Stream
mandubian/quiver
A reasonable library for modeling multi-graphs in Scala