TLC is an explicit state model checker for specifications in TLA+
The enterprise-ready webhooks service
Distributed Tracing, Metrics and Context Propagation for applications
The AWS Secrets Manager JDBC Library for Java developers
Android Chat SDK ➜ Stream Chat API. UI component libraries for chat
ALFOUR Programming language. Simple, safe, power, multi-platform.
Simple OAuth library for Java
This plugin allows to specify versions of external libraries
jchart2d is a real-time charting library written in java.
Java class for secure long-term in memory storage of sensitive strings