Search Results for "java projects on linux" - Page 3

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.

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

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

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.

NeoDatis ODB is a new generation Object Oriented Database. ODB is a real native and transparent persistence layer for Java, .Net, Groovy, Scala and Google Android. ODB is very simple and very fast and comes with a powerful query language.

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

wikipedia statistics

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