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
The Ballerina Programming Language
A tool for static analysis to look for bugs in Java code
Unified programming model for Batch and Streaming
Reactive Extensions for the JVM
WeChat develops Java SDK, supports back-end development
Datalog variant for tool designers crafting analyses in Horn clauses
Your entire server infrastructure at your fingertips
Simple, fast, safe, compiled language for developing software
A flexible, stable, easy-to-use Android plug-in framework
Scala 2 compiler and standard library
Java bytecode engineering toolkit
A code generator for connecting C/C++ with other programming languages
Lightweight Java Service Wrapper for Windows
JSCover - JavaScript code coverage
Aid in finding infinite loops in Java programs on production systems
A free COBOL compiler
A cross platform dialog based ooRexx debugger
Integrated Development Environment (IDE)
Free Lock Manager
inputbox password WIN OSX GTK QT Console VCPKG C# Lua R Fortran Pascal