jhaberstro/ARTE-7-Downloader
User script to download videos from the ARTE+7 website
Public GitHub Catalog
Discovered Sep 27, 2026
jhaberstro / scala-ide
Scala IDE for Eclipse
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.
#10318151GitHub System ID
jhaberstroOrganization / User
PublicVisibility
ActiveCatalog Status
More from jhaberstro
jhaberstro/scala-gadt
Compare and contrast tagged and tagless toy interpreter implementations using "tagged unions" and "generalized algebraic data types", respectively, in Scala.
jhaberstro/docs
Documentation for the scala-ide
jhaberstro/play2-template-parser
Play2 Template Parser