Software Systems
| Adapa |
Adapa is a free reusable tool able to run data parallel applications on multiple computing platforms. |
Website |
| ADOPS |
Automatic Detection Of Positively Selected Sites |
Website |
| April |
April is a Parallel Inductive Logic Programming System, 2006. |
Website |
| BIORED |
a High Performance Distributed Tool for Mining Patterns in Biological Sequences, since 2006. |
Website |
| 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. |
Website |
| 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. |
Website |
| 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. |
Website |
| MammoClass |
Classification of a mammogram based in a reduced set of mammography findings |
Website |
| 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. |
Website |
| 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. |
Website |
| 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). |
Website |
| wd |
a tool to discover words in genomic and proteomic sequences. |
Website |
| XESB |
a Schema Web Based XML Editor. |
Website |
| Yap Prolog |
Yap Prolog is a high performance Prolog compiler with distributions for Linux, MacOS and Windows. |
Website |
| 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. |