jhaberstro/ARTE-7-Downloader
User script to download videos from the ARTE+7 website
Public GitHub Catalog
Discovered Sep 28, 2026
jhaberstro / docs
Documentation for the scala-ide
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.
#12081525GitHub 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/play2-template-parser
Play2 Template Parser
jhaberstro/declosurify
macros removing closures