Search Results for "dr java windows" - Page 2

Eclipse plug-ins that provide Prover IDE for Isabelle proof assistant, based on Isabelle/Scala framework. Isabelle/Eclipse started as a port of Isabelle/jEdit Prover IDE to integrate with Eclipse IDE as plug-ins. The integration uses common Eclipse components to provide theory editing, correct symbols, completion assistance, prover output and other features. By building on Eclipse it inherits various IDE goodies out of the box. This SourceForge project is used to distribute...

Regular Expression Builder for Java (reb4j) is a simple set of classes that encapsulate the regular expressions used by java.util.regex.Pattern and provide facilities for composing larger expressions from sub-expressions.

AWK~plus is the next generation script practice environment. The AWK Language specifications and a main extension of GNU GAWK. Combination of Dynamic and Static typing. Parallel computing that a lock is free, and is thread safe at a language level.

Math expression parser and evaluator written in Scala. Usable from Java (Sun JRE 1.6) Provides float, integral, boolean and vector data types, some string processing support. Variables may be defined internally or im- and exported through a binding.

Get an inside view of your application. Find bottlenecks by looking at the development of the duration of your main business methods over time even in production. Find the cause of those bottlenecks by applying the profiling capabilities of JVMLense.

Needle is a simple dependency injection framework for configuring POJOs from properties files using annotations. Supports all numeric types, enums, arrays, collections and maps. Just drop into your classpath and never read a properties file again!

A web application that helps students learn Java. Students can submit their solutions to programming exercises and get immediate feedback through automated tests. The application is built with Scala and Lift.

metaDSL provides a framework which eases creation of BNF grammars, parser generators and code generators. Executes as a Maven plugin or from the command line via a lightweight launcher powered by Maven runtime. See also: http://www.metadsl.com/

SmartIMS - Smart Information Managment System

Scalaffinity is a library providing a core of functionalities for any social networking web site extracting and leveraging collective intelligence. Scalaffinity is built using Scala, Spring, JPA+Hibernate(Search)+EHCache, JUnit+DBUnit, Maven...

IMPORTANT: This project is no longer maintained. All the effort is targeted on project Radargun: http://radargun.sourceforge.net

Dream Machine Preservation Project is a project with the goal to create a software emulator for the Amiga computer on the Java Virtual Machine.

An Interactive Fiction Player written for Java Virtual Machine. It implements the Z-machine and Glulx specifications and can be used either standalone or as an applet. The Z-Code/Glulx interpreter runs adventures made by Infocom and contemporary Inte

RedRoo implements a framework for defining and executing hierarchical state machines. As a Red Kangaroo jumps from place to place, RedRoo will transition your application from state to state feeding on the events you pass to it. So get jumping!

Java OpenCL Process Virtual Machine. Spring IoC based framework for complex data analysis with OpenCL computing.

Scalargs is a Scala library for parsing command line options as easily as possible.