Public repository of formal specifications for libraries
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Type Name Latest commit message Commit time
Failed to load latest commit information.

Annotations For All

This repository is a open-source collection of software annotations for various annotation languages, applying to common libraries.

To learn more about annotations and annotation languages, please visit our website!

What This Repository Includes

  • Annotated versions of common libraries
  • Examples of putting annotations in use to solve problems
  • Automated tests to ensure correctness of provided specifications

Using Annotations

Each folder in this directory is the collection of annotations for each annotation language. Check inside there for more info on how to use them.


This material is based upon work supported by the National Science Foundation under Grant No. ACI-1314674. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.