Several programs made in Java 1.x+
Postgresql JDBC Driver
WeChat applet Java backend Demo implemented based on Spring Boot
The modern Java bytecode editor
TLC is an explicit state model checker for specifications in TLA+
Coding Agent Harness
Create, edit and run self-contained source-only Java programs
Call Java from Julia
Metaprogramming library to analyze and transform Java source code
A tool for static analysis to look for bugs in Java code
Java bytecode engineering toolkit
The Ballerina Programming Language
New Cloud version of Ruoyi-Vue-Pro optimized to refactor all features
Datalog variant for tool designers crafting analyses in Horn clauses
WeChat develops Java SDK, supports back-end development
Unified programming model for Batch and Streaming
Your entire server infrastructure at your fingertips
Simple, fast, safe, compiled language for developing software
The original full-platform IM communication layer framework
Scala 2 compiler and standard library
A code generator for connecting C/C++ with other programming languages
An interactive viewer for three-dimensional chemical structures.