Adaptable, fast automation for all
TLC is an explicit state model checker for specifications in TLA+
Entity Relation Diagrams generation tool
Stanford CoreNLP, a Java suite of core NLP tools
Java 1-17 Parser and Abstract Syntax Tree for Java
New additions to the Java programming language
A powerful text/code editor for Android
A configuration as code language with rich validation and tooling
Simple CLI Tool that translates your code in ANY programming language
Metaprogramming library to analyze and transform Java source code
Secure and speedy templates for Java and Kotlin.
An open source Valkey client library that supports Valkey and Redis
Convert curl commands to Python, JavaScript, Go, PHP, etc.
Library that makes it easier to create beautiful console applications
A blazing fast multi-language serialization framework
Speech-to-text, text-to-speech, and speaker recognition
The missing bridge between Java and native C++
Next-gen container development platform, workspace server & cloud IDE
Libraries for Analysis, with frontends for Java, Android, and JS
Clojure & ClojureScript Language Server (LSP) implementation
Scala language server with rich IDE features
Apache OpenNLP
jOOQ is the best way to write SQL in Java
Browser automation framework and ecosystem
HSharp is a library used to analyze markup language like HTML