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
Convert curl commands to Python, JavaScript, Go, PHP, etc.
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
An interactive viewer for three-dimensional chemical structures.