Search Results for "x window system"

This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with...

A programming language AL-IV (ALFOUR) is a high-level imperative object oriented programming language with minimal introduction level, easy porting to any platform claiming a very high level of safety and stability, with a controllable level of code protection, high efficiency of an executable code, full independence from a target platform, minimal enter level.

JFlex is a flex-like lexer generator for Java with emphasis on speed and full Unicode support. It has some not so usual features like negation in regexps and nested input streams. Also reads JLex specifications unchanged.

We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.

A Java 2 (JDK 1.3/1.4) compatible virtual machine. joeq is unique in that it is almost entirely implemented in Java, making it reliable and efficient. It is also language-independent, so code from any language can be seamlessly and dynamically compiled.

JPIE is an implementation of an Open Source Java to Prolog/Prolog to Java interoperability mecanism based on the Java VM.

JTools provides some useful tools and utilities for Java 5.0 development. Beneath some smaller utilities we have: a (Ant like) DAO framework (also including XML Repository) and a (JSP like) general purpose template generator and execution framework.

jclasslib is now located at https://github.com/ingokegel/jclasslib

Plugins for Maven 1.x (http://maven.apache.org/maven-1.x/) - manage all aspects of your project (tests, docs, distribution) from a single project descriptor! This project provides plugins that are not bundled with Maven due to differing licenses.

In this project we aim to develop scheme libraries for developing various web applications (especially servlets and xml-based web services). Our approach is to use jscheme (an open source implementation of scheme in Java) as the core language which allow

To develop a plug-in for eclipse (eclipse.org) allowing for seamless Eiffel Development using the SmartEiffel (smarteiffel.loria.fr) compiler and the ELJ (elj.com) tools.

Lazy is a language and a system to publish databases on the Web and to prototype full Web applications. It is based on the declarative specification of hypertext views No imperative programming is required to create a database-backed web site.

Kanaputs is an interpreter for Java. With Kanaputs you can use Java in an interpreted way: no more compilation, each instruction is executed when you write it. It's extremely easy to use to make script files above Java. www.kanaputs.org

QJ-Pro is a sophisticated code quality assessment and coding standards technology for Java development detecting potential software defects at compile time. It offers the ability to significantly reduce code review effort by automating a major portion of

Viva is an open-source Java runtime that includes support for languages beyond Java such as Python and interops with umanaged languages running outside the Java runtime such as C/C++/Perl/Python and more out-of-the-box.

Introspect on running programme, view and alter object fields and methods. Edit the code of any method at runtime; apply the changes to any combination of objects, such as an array, or a complete class. Complete rewrite underway available Jan 2007.

Tho goal of this project is to provide an integrated development environment for developing (x)Harbour applications on various platforms.

classgen is a Java class generator. It produces classes for abstract syntax trees in compiler frontends from simple and compact specifications. Generated classes have builtin support for the Visitor design pattern.

Kawa is a full Scheme implementation. It implements almost all of R5RS (for exceptions see Restrictions), plus some extensions.

Eclipse plugin for JBurga Bottom-Up Rewrite Machine Generator for Java.

Decouple your GUI building code from the rest of your application. Using an XML description, the Java Gui Builder will build appropriate windows, controls and objects for later retrieval by the mainstream code.

Objective Caml (OCaml) Elipse Plug-In

A java based Assembler and Emulator for the MIPS instruction set.

Freefactor is a Java refactoring framework. It consists of a tool-independent refactoring system and an interface to allow it to be integrated with other tools. Currently a prototype Java-based tool is provided as well as bindings for Emacs.

Plugin for Eclipse aiming at fully integrating AspectJ into Eclipse.