Search Results for "qr code 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.

EJE is a simple Java editor, perfect to learn Java, without learning a complex development tool. EJE is multi-platform (written in Java), light- weight, user-friendly and have several useful basic features. A good help to start with Java! Supports the study of the Java for Aliens book (www.javaforaliens.com), or other my books (Italian Language) like www.nuovojava.it. You don't need to install the JDK anymore (the runtime is embedded). See the video "How to create the "Hello World App in...

Important: Groimp migrates to Gitlab. You can find the latest code at "https://gitlab.com/grogra/groimp/". The version on Sourceforge will not be updated anymore. The modelling platform GroIMP is designed as an integrated platform which incorporates modelling, visualisation and interaction. It exhibits several features which makes itself suitable for the field of biological or ALife modelling: The “modelling backbone” consists in the language XL. It is fully integrated, e.g., the...

cowbel is a minimalist experimental programming language. It features strict types, static compilation into real machine code (via C), an object oriented system based on interfaces and composition, generics, no null, and a global garbage collector. It is intended to produce fast, tight code for use in systems programming, and to show that you don't need a complex language to be expressive and usable. We've moved! Go to http://cowlark.com/cowbel instead.

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.

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.

z390 Portable Mainframe Assembler and Emulator

ECL is a system-level specification language for HW/SW designs and is based on Esterel and C. The ECL compiler parses ECL, writes Esterel and C, and uses the Esterel compiler to produce an implementation. Originally developed at Cadence Berkeley Labs.

A modest extension to C, XMTC allows representing parallel (PRAM) algorithms as parallel programs, and run XMTC code using a compiler and cycle accurate simulator of the University of Maryland explicit multi-threaded (XMT) many-core architecture.

DKU is an embedded parallel language, or "piggy-back" language that uses function calls to invoke the language's execution model. It tunes task-size to the hardware while hiding hardware details for high performance portability of parallel code.

An architecture description language (DiaSpec) supports the description of components of a given distributed computing area. From these descriptions, DiaGen generates a dedicated programming framework to support distributed application development.

A Windows native distribution of Bigloo, a Scheme system that includes an optimizing compiler generating C code, Java classes and .NET CIL files as well as an interpreter.

Data Manipulator is a pure Java GUI interface for SQL databases. Not only an administrative tool, but one that allows a user to create forms and reports. Additionally A Java programmer can use code with Forms, reports a stand alone to manipulate the data

jRate is a real-time Java compiler and runtime system (based on GNU GCJ) with support for much of the Real-Time Specification for Java (RTSJ), including threading constructs with real-time constraints, asynchronous event handling, and memory regions.

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.

OJ (f.a.k.a. OpenJava) is an object-oriented macro system with a compile time metaobject protocol for Java.

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

A command line parser for Java programs generated from a XML file via XSLT.

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.

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