TLC is an explicit state model checker for specifications in TLA+
Apache Royale ASJS
Do Leetcode exercises in IDE
Lightweight modular front-end framework for developing web interfaces
Lightweight Java library developed by Alibaba for reading and writing
Lightweight service virtualization/ API simulation / API mocking tool
Parser generator to read, process, or translate structured text
Hawtio web console helps you manage your JVM stuff and stay cool
A high velocity web framework
Scala language server with rich IDE features
Java library that enables cross-platform access to popular native APIs
A simple Java library for interacting with Ollama server
Lightweight and easy to use cross-platform C++ IDE
VisualVM is an All-in-One Java Troubleshooting Tool
Java MQTT lightweight broker
VT Code - semantic AI coding agent
tinylog is a lightweight logging framework for Java, Kotlin, Scala
Adaptable, fast automation for all
Fluent assertions for Java and Android
Cross-platform framework for building truly native mobile apps
Ad-Free, New Features & Freedom
Browser automation framework and ecosystem
A Java math library for OpenGL rendering calculations
The SpotBugs plugin for security audits of Java web applications
Secure and speedy templates for Java and Kotlin.