David Martínez Rodríguez's repositories
li-sat-solver
A basic SAT solver implementation for the Logics in Informatics course
StfalconImageViewer
A simple and customizable Android full-screen image viewer with shared image transition support, "pinch to zoom" and "swipe to dismiss" gestures
dotfiles
A simple (yet) repository for dotfiles
icmma-labs
Individual Choice Modelling and Market Analysis course laboratories (Discrete Choice Modelling)
kommoncare
A web platform for community shared care for the Smart Cities Green Hackathon Stockholm 2016
li-family-trip
Prolog and SAT-solver based solutions for a family trip scheduling problem for the Logics in Informatics (LI) course
li-prolog
Pure Prolog exercices for the Logics in Informatics (LI) course
li-sat-encoded
NP-Complete problems solved using SAT and CNF encoded constraints
moa-sandbox
A set of scripts to profile and benchmark the MOA PPSM extension developed for the Degree Final Project
msc-thesis
MSc in Sustainable Technology Thesis (KTH, Sweden)
openui5
OpenUI5 lets you build enterprise-ready web applications, responsive to all devices, running on almost any browser of your choice.
Paginate
Library for creating simple pagination functionality upon RecyclerView and AbsListView
sign-in-with-apple-button-android
An Android library for Sign In with Apple
Study-To-Do
Study To Do is an app created to FIBApps 2014
taskback
A simple MEAN stack platform to manage personal TODO and task lists
tfg
A repository for the bachelor's degree final project, on privacy preserving stream mining
ui5test
SAP ui5 web app test sandbox
web
My own personal webpage & server stuff