TLC is an explicit state model checker for specifications in TLA+
The MongoDB drivers for Java, Kotlin, and Scala
Apache Maven Daemon
Unified programming model for Batch and Streaming
Apache Shiro
Containerize your Java application
Design patterns implemented in Java
Java MQTT lightweight broker
High Performance data structures and utility methods for Java
Next-gen container development platform, workspace server & cloud IDE
Framework for Evolutionary Message-Driven Microservices on the JVM
A Gateway built on Spring Framework and Spring Boot
The best file downloader library for Android
The Ballerina Programming Language
Do Leetcode exercises in IDE
Make writing Java http clients easier
Extremely fast enterprise server framework, can be used in RPC
Distributed tracing without code changes
Samples demonstrating how to use Maps SDK for Android
One-stop solution for application development for Alibaba middleware
Gateway service providing dynamic routing, monitoring and more
Cloud Dataflow Google-provided templates for solving data tasks
A complete solution for apps using root permissions
A durable Datalog implementation adaptable for distribution
Uber's cross-platform mobile architecture framework