Nam convallis venenatis elit, porta dapibus arcu suscipit a. Nam eget dictum leo, ut tincidunt odio. Aliquam in venenatis justo. In ligula dui, convallis vel urna eget, finibus pulvinar leo. Suspendisse elementum ultricies neque, ut egestas nisi cursus mattis. Aenean non magna cursus, ultrices ante non, lobortis nisl. Nulla ultricies accumsan mi.
| # | Software Name | Description |
|---|---|---|
| 1 |
Adapa
Software System |
Adapa is a free reusable tool able to run data parallel applications on multiple computing platforms. |
| 2 |
ADOPS
Software System |
Automatic Detection Of Positively Selected Sites |
| 3 |
April
Prototype System |
April is a Parallel Inductive Logic Programming System, 2006. |
| 4 |
BIORED
Prototype System |
A High Performance Distributed Tool for Mining Patterns in Biological Sequences, since 2006. |
| 5 |
Callas
Prototype System |
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. |
| 6 |
gtrieScanner
Software System |
A software tool that uses the g-trie data structure to count occurrences of subgraphs on larger graphs, determining if they are network motifs. |
| 7 |
Logtalk
Software System |
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. |
| 8 |
MammoClass
Software System |
Classification of a mammogram based in a reduced set of mammography findings |
| 9 |
MOB
Prototype System |
A Language and Run-Time System for Service-Oriented Computing with Mobile Agents, 2006. |
| 10 |
Mooshak
Software System |
A system for managing programming contests on the Web. It has been successfully used as a competitive environment system in undergraduate programming courses. |
| 11 |
OPTYAP
Prototype System |
An Or-Parallel Tabling Logic Programming System,distributed with YAP system, since 2004. |
| 12 |
PopAffiliator
Prototype System |
Online calculator for individual affiliation to a major population group based on 17 autosomal short tandem repeat genotype profile. |
| 13 |
SPD
Prototype System |
An Integrated System for Creation, Evaluation and Publication of Digital Portfolios, 2006. |
| 14 |
TyCO
Software System |
(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). |
| 15 |
wd
Software System |
A tool to discover words in genomic and proteomic sequences. |
| 16 |
XESB
Software System |
A Schema Web Based XML Editor. |
| 17 |
Yap Prolog
Software System |
Yap Prolog is a high performance Prolog compiler with distributions for Linux, MacOS and Windows. |
| 18 |
YAPDSS
Prototype System |
A Distributed Or-Parallel Prolog System, based on Stack Splitting, since 2003. |
| 19 |
YAPOR
Prototype System |
An Or-Parallel Prolog System, distributed with YAP system, since 1999. |
| 20 |
YAPTAB
Prototype System |
YAPTAB is a Prolog Engine Supporting Tabling, the fastest tabling Prolog engine, distributed with YAP system, since 2001. |

