GitHub repository: typelevel/spotted-leopards
Primary language: Scala
Description: Proof of concept for a cats-like library built using Dotty features