Search Results for "lx-linux" - Page 5

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

A tool that will let you generate an xml document based on a schema (xsd). This is a tool I initially developped at work but found it so useful that I decided to rewrite it completely so that I could get my hands free for publishing it.

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

Asteroid has been merged with Scampi, to give rise to OScar. Follow us on https://bitbucket.org/oscarlib/oscar/wiki/Home Asteroid offers a powerful framework for developing constraint-based local search solution to combinatorial problems. This technique provides good scalability to real-world problems. It includes a library of standard constraints and invariants to declaratively define the problem you want to solve, and it also provides powerful search mechanisms.

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.

What is a plug-in architecture? Simply speaking, it is a framework that will allow a program to "look for" add-in functionality at startup, and then allow that plug-in to cooperate with itself. CATCore (Component Architecture Toolkit, Corelib) is this and more. With CATCore you can load plugins that run in there own thread(Actor) and communicate with each other via messages. But also applications can forward messages to other applications. So plugsins loaded in one app can communicate...

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.

a mongodb shell base on Scala REPL and Casbah

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

A library for handling decision tables written in Scala.