OrientDB is the most versatile DBMS supporting Graph, Document, Reactive, Full-Text and Geospatial models in one Multi-Model product. OrientDB can run distributed (Multi-Master), supports SQL, ACID…

Process Orchestration Framework

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

YAGO is a large semantic knowledge base, derived from Wikipedia, WordNet, WikiData, GeoNames, and other data sources

Prompt & Conversation Management Middleware for Conversational AI APIs such as OpenAI ChatGPT, Facebook Hugging Face, Anthropic Claude, Google Gemini, Ollama and Jlama. Lean, restful, scalable, and…

[DEPRECATED] An open-source mobile framework for rapid development of mHealth and biomedical applications

A prototyping framework for Android devices

Flexible and easy to use library to enable your behavorial driven development (BDD) teams to easily collaborate while promoting automation, transparency and reporting.

Sistema de firma integral FIRe

Virtual Machine image Repository & Catalog

Efficient Execution of Perl Scripts on Hadoop Clusters

Astronomy plugins for Taverna Workbench

Juego para la Granada GameJam del equipo CODA Masters

Apuntes/ ejercicios/ cosas útiles/ prácticas/... de la asignatura programación y diseño orientado a objetos

Expansion, A novel mutation operator added to ECJ as a BreedingPipeline.

Aplicación web para la generación de etiquetas de reactivos químicos

Juego para la Granada GameJam del equipo CODA Masters

Esta práctica tratará sobre la configuración óptima de una máquina virtual.

mastermind - Java

Aplicación para el Hackathon de Telefónica