Linkedin

Tsallis Entropy calculator

The Tsallis Entropy calculator is a tool developed to compute and compare several versions of conditional Tsallis entropies existing in the literature. Team: Andreia Teixeira; André Souto; Luís Filipe Antunes

QUEST

QUEST is a suite of tools integrated in a Eclipse plug-in that aim to ensure compliance of Java implementations of data abstractions with their property-driven specifications. The general aim of QUEST suite of tools is to ensure the compliance of Java implementations...

DOL

DOL is a Dependent Object-oriented Language featuring dependent types, mutable objects and class-based inheritance with subtyping. The DOL compiler is responsible for typechecking DOL programs, relying on the Z3 SMT solver for checking the constraints issued by types,...

CONFIDENT

CONFIDENT is a toolchain for effective construction and evolution of REST APIs. CONFIDENT aims at supporting all phases of RESTful software development with: Documentation generation; Code generation (stubs) for server- and client-side; API testing; Runtime...

VETA

VETA is a tool that analyses the performance of several variant prediction methods at different levels. Team @ LASIGE:  Alcides Fonseca; Pedro Barbosa

KGsim-benchmark

KGsim-benchmark is a collection of 21 benchmark data sets for large biomedical knowledge graphs similarity evaluation. Team @ LASIGE: Catia Pesquita; Rita Sousa; Carlota Cardoso