-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
The good news is there is project to annotate the JDK and lots of other libraries: https://github.com/lastnpe/eclipse-null-eea-augments
There is a pull request that makes the Checker Framework work with JDK 16. (Propss to Neil Brown for the heavy lifting.) So, you should soon be able to use the Checker Framework with your codebase.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.