The modern Java bytecode editor
Create, edit and run self-contained source-only Java programs
TLC is an explicit state model checker for specifications in TLA+
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
Your entire server infrastructure at your fingertips
Java bytecode engineering toolkit
Unified programming model for Batch and Streaming
WeChat develops Java SDK, supports back-end development
WeChat applet Java backend Demo implemented based on Spring Boot
Aid in finding infinite loops in Java programs on production systems
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