GitHub repository: scala-records/scala-records
Primary language: Scala
Description: Labeled records for Scala based on structural refinement types and macros.