GitHub repository: ohnosequences/contexts
Primary language: Scala
Description: Scala compiler plugin which provides syntax for contexts `x ⊢ { ... }`