Linkedin

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

PPRSSM

PPRSSM is a entity linking software based on Personalized PageRank using Semantic Similarity Measures. Team @ LASIGE: Francisco M. Couto

DiShIn

DiShIn is a software package provides the basic functions to start using semantic similarity measures directly from a rdf or owl file. Team @ LASIGE: Francisco M. Couto