jhaberstro/scala-gadt
Compare and contrast tagged and tagless toy interpreter implementations using "tagged unions" and "generalized algebraic data types", respectively, in Scala.
Public GitHub Catalog
Discovered Oct 1, 2026
jhaberstro / ARTE-7-Downloader
User script to download videos from the ARTE+7 website
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.
#22672027GitHub 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