The modern Java bytecode editor
TLC is an explicit state model checker for specifications in TLA+
Create, edit and run self-contained source-only Java programs
The Ballerina Programming Language
Metaprogramming library to analyze and transform Java source code
Unified programming model for Batch and Streaming
A tool for static analysis to look for bugs in Java code
Your entire server infrastructure at your fingertips
WeChat applet Java backend Demo implemented based on Spring Boot
WeChat develops Java SDK, supports back-end development
Java bytecode engineering toolkit
Aid in finding infinite loops in Java programs on production systems
Free Lock Manager
Nginx module for embedding Clojure or Java or Groovy programs
RISC-V Assembler and Runtime Simulator
Documents Rexx and ooRexx programs
Java bytecode to WebAssembly compiler
A java wrapper for clamd
Open-source electronics platform
Compose Software Without Writing Any Programing Code
A Java to JavaScript transpiler
A pure Java JDBC driver for Microsoft Access database files