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!
- Annotated versions of common libraries
- Examples of putting annotations in use to solve problems
- Automated tests to ensure correctness of provided specifications
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.