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
Metaprogramming library to analyze and transform Java source code
A tool for static analysis to look for bugs in Java code
The Ballerina Programming Language
WeChat develops Java SDK, supports back-end development
Your entire server infrastructure at your fingertips
Unified programming model for Batch and Streaming
WeChat applet Java backend Demo implemented based on Spring Boot
Aid in finding infinite loops in Java programs on production systems
Java bytecode engineering toolkit
Free Lock Manager
RISC-V Assembler and Runtime Simulator
Nginx module for embedding Clojure or Java or Groovy programs
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