1. Rapid https://github.com/umangm/rapid Rapid https://github.com/umangm/rapid
2. Apache Hadoop https://hadoop.apache.org/ Apache Hadoop https://hadoop.apache.org/
3. Apache Spark https://spark.apache.org/ Apache Spark https://spark.apache.org/
4. Kryo https://github.com/EsotericSoftware/kryo Kryo https://github.com/EsotericSoftware/kryo
5. RVPredict https://runtimeverification.com/predict/ RVPredict https://runtimeverification.com/predict/