TLC is an explicit state model checker for specifications in TLA+
The enterprise-ready webhooks service
Android Chat SDK ➜ Stream Chat API. UI component libraries for chat
Distributed Tracing, Metrics and Context Propagation for applications
The AWS Secrets Manager JDBC Library for Java developers
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