Search Results for "java runtime environment"

Supabase CLI is the command-line interface for managing and developing Supabase projects. It streamlines local development, database migrations, environment management, and project deployment. Designed for developers building with Supabase, the CLI provides an efficient way to work with the entire Supabase stack—PostgreSQL, auth, storage, and edge functions—directly from the terminal.

Dude is a small simple development environment written in Java which allows you to compile and run Java programs without using the command window. It is platform independent and open source. Dude is easy to set up and uses the same directory structure for source and object files.

autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures...

G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv.

This tool helps you to reverse engineer UML Sequence Diagram for your java program at runtime. It works well with both complex java programs (that have multiple threads) and J2EE applications deployed on Application Servers.

...Cyclone comes with a number of fascinating features Real-time progress and status montoring for jobs Pause, resume and stop an executing job Multi-user environment with in-built authentication and authorization modules Polygot - jobs can be implemented in java, groovy, ruby, javascript and python Easy administration and configuration - user management etc. Extensible security module

Extension to the well-known Tomcat Sysdeo Plugin for eclipse. It adds features for managing context both, for: * Runtime functions like start, stop & reload context * Configuration functions like removing a context. Solving annoying development tasks

Dynamic tree of Java objects encapsulates hard-drive and Jar/Zip files (and their inner files) and Java objects all the same way. Create new ways of communication as executable Jar files, like a paint program that creates/uses paint programs as tools

Code Conjurer is a tool which seamlessly integrates into the Eclipse Java development environment and uses the merobase code search engine to recommend software components for reuse. Update site: http://codeconjurer.sourceforge.net/eclipse-update

Chex4j allows you to document and enforce @pre and @post conditions of method calls with runtime or build time class file instrumentation. Conditions run as fast as normal code.

Chaplin is a Java class transformer which brings some modern language concepts into Java(TM): For example: contexts, composites, traits (mixins), runtime type conversion, dynamic method signatures, method and field aggregators etc.

It is a small, fast , fresh object/relational persistence and query system, with commented and fully-functional JUnit tests. 20 times smaller. Based on eclipse plugins, mapping based on the eclipse extension points, but it can run without eclipse runtime