TLC is an explicit state model checker for specifications in TLA+
Soot - A Java optimization framework
Cluster computing framework for processing large-scale geospatial data
Easy to use cryptographic framework for data protection
Gitember another git GUI client written on javafx
Stream processing framework with powerful stream
Console-based JVM monitoring tool
Cross-platform SDK for creating and modifying PDF documents
Helps Java developers to easily consume and process log files from AWS
Framework to interpret and transpile JVM bytecode to JavaScript
A fast, lightweight and more productive microservices framework
linear time regular expression matching in Java
The binary distribution of openHAB
Libraries for Analysis, with frontends for Java, Android, and JS
Manifold is a Java compiler plugin, features include Metaprogramming
A networking framework that evolves with your application
MyBatis SQL mapper framework for Java
An extensible Java library for HTTP request and response logging
Quick and Easy server testing/validation
Java library that allows matching many thousands of Events per second
Micro second messaging that stores everything to disk
Java libraries for writing microservices
Flexible level editor
Git Server with CI/CD, Kanban, and Packages
Microsoft Azure PowerShell for developers