GitHub repository: phaller/lacasa
Primary language: Scala
Description: Lightweight affine types and object capabilities in Scala