TLC is an explicit state model checker for specifications in TLA+
Advanced manager and monitor for Apache Tomcat
Lightweight Android library that bundles the Xray networking core
Java distributed tracing implementation compatible with Zipkin backend
Additional plug-ins and extensions for Java's ImageIO
Internet Archive's open-source, web-scale, web crawler project
Access Java classes from Python
ConnectBot is the first SSH client for Android
MyBatis integration with Spring Boot
Apache Shiro
A Python 3 implementation built on GraalVM
The idiomatic way to use atomic operations in Kotlin
High Performance data structures and utility methods for Java
A production-grade java implementation of RAFT consensus algorithm
Alpakka is a Reactive Enterprise Integration library for Java
Provides an extension of the Spring programming model
Wrapper of syncthing for Android
A Java library for sending APNs (iOS/macOS/Safari)
Elide is a Java library that lets you stand up a GraphQL/JSON-API
Perl5 plugins for IntelliJ IDEA
A tool for refactoring code related to feature flag APIs
Object-functional library that runs with Java 8+
A user-interface library, formerly known as text, for Minecraft
Library for OpenAPI 3 with spring-boot
Fluent assertions for Java and Android