Spring Boot helps you to create Spring-powered, production-grade applications and services with absolute minimum fuss.

Ghidra is a software reverse engineering (SRE) framework

JDK main-line development https://openjdk.org/projects/jdk

A collection of algorithms and data structures

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.