Search Results for "java]" - Page 3

This program shall implement some rule systems for ants. Special interest is to do researches about the conflict behaviour. The project is written with the mason-library (page: http://cs.gmu.edu/~eclab/projects/mason/ ) and mainly with the scala programming language

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...

CSPFJ or CSP4J is an simple, hopefully fast CSP solver API written in Java featuring state-of-art search algorithms

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.

DBpedia has moved to GitHub: https://github.com/dbpedia/extraction-framework/wiki The mailing lists are still hosted by SourceForge. DBpedia is a community effort to extract structured information from Wikipedia and to make this information available on the Web. DBpedia allows you to ask sophisticated queries against Wikipedia and to link other datasets on the Web to Wikipedia data.

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.

Simuquant is made to construct and simulate universal quantum circuits. It's GUI enables intuitive access and direct graphical feedback, making it useful in a classroom situation and the like. Simulation processing is done in parallel, utilizing parallel collections introduced in scala 2.9. This application has been created as part a bachelor-thesis at the Hamburg University of Applied Sciences. The thesis is available...

CoSEEEK is a framework that provides automated guidance for software developers during the development lifecycle. Its unique holistic approach amalgamates quality management, process management, context management, and knowledge management and can thus provide support attuned to the current project situation and the engineer’s context. One key goal of CoSEEEK was to develop techniques so that applicable guidance can be provided to an engineer (a CoSEEEK user) in an automated way based on...

Carafe is an implementation of Conditional Random Fields and related algorithms targeted at text processing applications. The latest version, jCarafe, is implemented in Scala and runs on the JVM.

DBpedia Spotlight is a tool for annotating mentions of DBpedia resources in natural language text. The source code is now hosted on GitHub: https://github.com/dbpedia-spotlight

An artificial neural network, currently specialized to save a specific bit pattern, mainly by changing the signal propagation delays in links. More features, variables and algorithms will be added in time.

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.

Infinispan is an open source, Java based data grid platform. ***IMPORTANT*** Starting with Infinispan 5.0.0.FINAL, Infinispan releases are no longer hosted in Sourceforge. They can now be located in www.jboss.org/infinispan/downloads

An asynchronous file viewer for large files (100 of MBytes, GBytes)

WQuery is a domain-specific query language designed to process WordNet-like lexical databases. It may be used as a standalone application or as an API to a lexical database in Java based systems.

The aim of this project is to create programs which turn off the computer after a certain time is exceeded within one day. The final goal is to avoid that small children spend too much time in front of the computer.

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 social file transfer and communication tool with end to end encryption and authentication

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/

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.

SmartIMS - Smart Information Managment System

Get information about delays in systems like public transport systems by the users of such systems, Use this collected information to calculate a forecast of the point of time of an upcoming event like an arrival.

Swing based scala/java application for preparing and running picture presentations in a form of a graph. This form allows for example following different presentation paths depending on audience interest, it also allows grouping of similar pictures.

Cane is a Data Manipulation Interface(DMI) based on code behaviour analysis. Cane enable developers manipulate data in the way close to natural logical. Developers can finish their job in one continuous operation supplied by Cane's chain operation