Software

Programming Logics

ARMC:

Software Model Checking with Abstraction Refinement: ARMC

Databases and Information Systems

BINGO:

Bookmark-Induced Gathering of Information with Adaptive Classification into Personalized Ontologies

Algorithms and Complexity

CGAL:

Computational Geometry Algorithms Library

Computational Biology and Applied Algorithmics

EpiGRAPH:

Enables biologists to analyze genome and epigenome datasets.

Algorithms and Complexity

Exacus:

Efficient and Exact Algorithms for Curves and Surfaces

Computational Biology and Applied Algorithmics

FunSimMat:

FunSimMat is a comprehensive functional similarity database for proteins and protein families and a tool for easy and fast disease gene prioritization.

Computational Biology & Applied Algorithmics

Geno2pheno:

A tool that predicts phenotypic drug resistance of HIV from the DNA sequence of their pol-gene

Computational Biology & Applied Algorithmics

IRECS:

IRECS can predict multiple conformations for all side chains of a target protein. Side-chain conformations are selected according to the flexibility of the respective side chain. IRECS is also able to mutate single side chains or read in alignments to create a homology model of the target protein on a template backbone.

Algorithms and Complexity

LEDA:

C++ Class Library of Efficient Data Types and Algorithms

Databases and Information Systems

MINERVA:

Distributed Search: Minerva.

The Peer-to-Peer (P2P) Approach Allows Handling Huge Amounts of Data in a Distributed and Self-Organizing Way.

Computer Graphics

PFSTOOLS:

Tools for Reading, Writing, Manipulating and Viewing High-Dynamic Range (HDR) Images and Video Frames

Automation of Logic

SPASS:

An Automated Theorem Prover for First-Order Logic with Equality

Automation of Logic

SPASS+T:

SPASS+T is an extension of the superposition-based theorem prover SPASS that enlarges the reasoning capabilities of SPASS using some built-in arithmetic simplification rules and an arbitrary SMT procedure for arithmetic and free function symbols as a black-box.

Databases and Information Systems

TOPX:

TopX is a Search Engine for Ranked Retrieval of XML (and Plain-Text) Data.

Computer Graphics

TMK:

Freely Available Tool that Combines the Functionality of a Traditional make Utility with the Power of the Tcl Scripting Language: TMK

Automation of Logic

Waldmeister:

Waldmeister is a Theorem Prover for Unit Equational Logic. Its Proof Procedure is Unfailing Knuth-Bendix Completion.

Databases and Information Systems

Yago:

Yago is a huge semantic knowledge base. Currently, Yago knows over 900,000 entities