Search Results for "research"

JAGS is Just Another Gibbs Sampler. It is a program for the statistical analysis of Bayesian hierarchical models by Markov Chain Monte Carlo.

Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt

Vector Pascal is a language targeted at SIMD multi-core instruction-sets such as the AVX and SSE2 or x86-64-v3. It has a SIMD compiler which supports parallel vector operations, loop unrolling, common sub expression removal etc. It is implemented in Java.

Jamocha is an open source rule engine. The objective of Jamocha is to provide a high quality rule engine and expert system shell environment. We would provide you an engine, the required development tools and a best practice methodology.

This is going to be a Java Swing Application that will be used as a quick reference for Java API names. It will feature incremental search and filtering so that searching efficiency is improved. It will be very simple and a good way to statistically analyze java api's.

Integrated Development Environment Frameworks based on Internet and eXtensible technologies. The goal is to research in the development of interactive environments that facilitate distance programming and distance learning of programming languages.

The FXL Project Eclipse Plugin leverages the integration of DSLs, (meta-) modeling approaches, code generation and the development of software configuration tools (sw-component-configuration).

An Enterprise Focused Java Framework For Rapid Application Development. JAFFA is a Java web application development stack, build around Web 2.0 technologies (ExtJS, DWR, JAWR) with an extensive service architecture, meta-data layer and rules engine (based on JBoss AOP and Drools). It provides an event driven SOA infrastructure with advanced scheduling and queue sub-systems

JinnIde is a plugin that allows using Jinni Prolog, now also hosted here on this site (with open source license!), within the confines of an IDE integrated in JEdit.

FAIN SNAP provides an active network programming language and interpreter. It allows finite state machines to be operated over a number of network elements. Its main use is to program firewalls and raise alerts. It is a native Debian distribution.

HOOPLE is a portable collection of C++ source code, featuring thread-safe objects for collections and event processing, RPC-style plugin-based encrypted networking (CROMP / octopus), bookmark collection management utilities, and a lot of other cool stuff. This is the project page for HOOPLE version 1, which was retired on September 25 2010. The code supposedly still builds on both Linux (with gnu gcc) and on Windows (with ms visual studio). Most of the code from hoople1 has moved into...

mjcide was developed as a final project for Compiler class at UFABC (Universidade Federal do ABC). The project has two components: a microjava compiler (MIT license) and an IDE (LGPL 2.1 license).

Cca-forum unifies the Common Component Architecture tools and tutorial. It includes the CCA specifications, the Ccaffeine framework for HPC, and related tools. These support multilanguage scientific and parallel computing.

TIPcon1 is a standards-compliant soft phone using text, voice and video with accessibility features.

T.140 Presentation Library is an implementation of the presentation routines described in ITU-T T.140.

Jout (Java optimization utility toolkit) is a complete workground for editing .class files. It includes automatic and manual optimization.

JaDiMa (Java Distributed Machine} is a collaborative platform to construct high performance distributed java applications on grid platforms. It is a system that automatically and transparently manages the remote libraries used in a java application.

RTP text/t140 Library is a reference implementation for RTP Payload Type for Text Conversation (RFC 4103). The library has source code for encoding and decoding RFC 4103 data, and may be used either as a plug-in to JMF or in a separate RTP sender/receive

This is the original (Windows/PalmOS) and UNSUPPORTED version of DataDyne's EpiSurveyor mobile data collection software. EpiSurveyor has changed its name to Magpi, and you can register for a free Magpi account at www.magpi.com

A collection of language tools based on recursive adaptive grammars (RAGs), built around a general RAG parsing algorithm.

ECCO is a web-based IDE. In other words is an online development environment with file manager, console interface for compiling and execution of code and an editor with syntax highlighting, tabs and support for many languages and accessed with a browser

XMACROJ is an XML based macro language used to assemble text files from re-usable XML components...originally developed to generate JSP/XHTML files, by-passing the need for JSP include directives

an integration framework for UML and MOF case tools based on Jini and SOAP. It exchanges models from ArgoUML, Poseidon, Rose, etc. as XMI (UML stored in XML), checks them and generates code. New services simply plug in and can be shared world-wide.

JavaCET is an API wrote in Java that allows to analyze Java source code and libraries, and control its execution and its trace in an integrated and comprehensible object-oriented way. It allows backwards execution.

JBeanStudio project aims to develop a coding-less visual software authoring system that supports Java-based component-oriented software development.