These files are containing the class string utils

This is a drop in replacement for the auth0 java-jwt library (see https://github.com/auth0/java-jwt). This jar makes sure there are no external dependencies (e.g. fasterXml, Apacha Commons) needed. This is useful when deploying to an application server (e.g. tomcat with Alfreso or Pega).

SRI International's AIC Symbolic Manipulation and Evaluation Library (for Java 1.8+)

Code Analyzer for Java

AWS-SDK S3 Under File System implementation

The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. The Checker Framework includes compiler plug-ins ("checkers") that find bugs or verify their absence. It also permits you to write your own compiler plug-ins.

Artifact for providing some easy means to visualize (state of) board games or (state of) cellular automatons.

SRI International's AIC PRAiSE (Probabilistic Reasoning As Symbolic Evaluation) Library (for Java 1.8+)

SRI International's AIC Symbolic Manipulation and Evaluation Library (for Java 1.8+)