GitHub repository: runarorama/scala-bound
Primary language: Scala
Description: A library for developing languages with scoped binders (like forall or lambda).