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