TLC is an explicit state model checker for specifications in TLA+
Metaprogramming library to analyze and transform Java source code
New Cloud version of Ruoyi-Vue-Pro optimized to refactor all features
A code generator for connecting C/C++ with other programming languages
An interactive viewer for three-dimensional chemical structures.
Aid in finding infinite loops in Java programs on production systems
TKD Scoring Wi-Fi Server supporting Android and IPhone clients
A free COBOL compiler
inputbox password WIN OSX GTK QT Console VCPKG C# Lua R Fortran Pascal
ETL engine based on Groovy
Collection of Java code examples and demo projects
Applications for data management
Documents Rexx and ooRexx programs
A free collection of applications and utility programs
Open pharmacovigilance data extraction, mining and analysis tool
A log4j vulnerability filesystem scanner and Go package
PJL - Free Cross-Platform Portable Java Launcher for executable files
A pure Java JDBC driver for Microsoft Access database files