Software Systems

Adapa

Adapa is a free reusable tool able to run data parallel applications on multiple computing platforms.

ADOPS

Automatic Detection Of Positively Selected Sites

April

April is a Parallel Inductive Logic Programming System, 2006.

BIORED

a High Performance Distributed Tool for Mining Patterns in Biological Sequences, since 2006.

Callas

The Callas Programming Environment for Wireless Sensor Networks is composed of a programming language (compiler and virtual machine), development and simulation tools (integrated as an Eclipse plugin and a Visual Sense application). The Callas project aims at providing type-safe and demonstrably correct programming and execution of sensor network applications.

gtrieScanner

A software tool that uses the g-trie data structure to count occurrences of subgraphs on larger graphs, determining if they are network motifs.

Logtalk

Logtalk is an open source object-oriented logic programming language that can use most Prolog implementations as a back-end compiler. As a multi-paradigm language, it includes support for both prototypes and classes, protocols (interfaces), component-based programming through category-based composition, event-driven programming, and high-level multi-threading programming.

MammoClass

Classification of a mammogram based in a reduced set of mammography findings

MOB

a Language and Run-Time System for Service-Oriented Computing with Mobile Agents, 2006.

Mooshak

a system for managing programming contests on the Web. It has been successfully used as a competitive environment system in undergraduate programming courses.

OPTYAP

an Or-Parallel Tabling Logic Programming System,distributed with YAP system, since 2004.

PopAffiliator

Online calculator for individual affiliation to a major population group based on 17 autosomal short tandem repeat genotype profile.

SPD

an Integrated System for Creation, Evaluation and Publication of Digital Portfolios, 2006.

TyCO

(and Distributed TyCO): Typed Concurrent Objects, an implicitly typed polymorphic concurrent language based on an extension of the asynchronous pi-calculus (version 0.4.1, 2005).

wd

a tool to discover words in genomic and proteomic sequences.

XESB

a Schema Web Based XML Editor.

Yap Prolog

Yap Prolog is a high performance Prolog compiler with distributions for Linux, MacOS and Windows.

YAPDSS

a Distributed Or-Parallel Prolog System, based on Stack Splitting, since 2003.

YAPOR

an Or-Parallel Prolog System, distributed with YAP system, since 1999.

YAPTAB

YAPTAB is a Prolog Engine Supporting Tabling, the fastest tabling Prolog engine, distributed with YAP system, since 2001.