GitHub repository: kaptoxic/SciFe
Primary language: Scala
Description: SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants