TLC is an explicit state model checker for specifications in TLA+
Unified programming model for Batch and Streaming
Create custom vector tiles from OpenStreetMap
Call Java from Julia
Advanced manager and monitor for Apache Tomcat
Micro second messaging that stores everything to disk
This is an implementation of RFC 6902 JSON Patch written in Java
EnvFile 3.x is a plugin for JetBrains IDEs
Java libraries for writing microservices
The Scala HTTP client you always wanted
Clojure library for fast JSON encoding and decoding
Open-source end-to-end LLM Development Platform
Internet Archive's open-source, web-scale, web crawler project
Google's data interchange format
Java distributed tracing implementation compatible with Zipkin backend
A Java client for the ChatGPT API
A distributed task scheduling framework
Additional plug-ins and extensions for Java's ImageIO
Graphical Java application for managing BibTeX and biblatex
The Enterprise-ready testing and specification framework
Java-based e-commerce system with backend and frontend modules
Math Parser: Java, C#, C++, Kotlin, Android, and all .NET platforms
The IDE for competitive programming
TestNG testing framework
Agent of Sonic cloud real machine platform