GitHub repository: runtimeverification/property-db
Primary language: Java
Description: An annotated Java API and a tool for generated documentation augmented with properties.