Sources & licenses

Resources come from public directories, repositories and documentation, with original text and attribution. Listing does not imply individual runtime verification. Stars refer to GitHub repositories.