vjovanov/scala-records
Labeled records for Scala based on structural refinement types and macros.
Public GitHub Catalog
Discovered Sep 29, 2026
vjovanov / maps
Public repository discovered through GitHub real-time crawl.
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.
#15873744GitHub System ID
vjovanovOrganization / User
PublicVisibility
ActiveCatalog Status
More from vjovanov
vjovanov/papers
Papers of Vojin Jovanovic.
vjovanov/progfun-wiki
Public repository.
vjovanov/finally-tagless
The Scala implementation of the code from the paper "Finally Tagless Partially Evaluated" by Carette et al.