aherranz

tfg_latex

DEPRECATED/OBSOLETO: LaTeX Template for "Trabajo fin de grado" at ETSIINF UPM

tfg_latex_etsiinf

Plantilla LaTeX de la ETSIINF/UPM para la memoria de Trabajo Fin de Grado/Master

cclib

[OBSOLETE, USE https://gitlab.com/babel-upm/cclib INSTEAD] Concurrency Java Library used at Universidad Politécnica de Madrid.

ahtranspas

Transparencias con LaTeX, beamer y metropolis. Estilo ahtranspas.sty y ejemplo de uso

notebooks

uml-models

UML diagrams in a textual syntax (PlantUML subset) with a formal semantics

aesophia

Stand alone compiler for the Sophia smart contract language

ccrtv

Java Library for Runtime Verification of Concurrent Programs (moved to https://github.com/aherranz/ccrv)

ccrv

Java Library for Runtime Verification of Concurrent Programs

dockerex

exampple

XMPP Component Framework

go-intro-cs

jcsp

Read-only mirror of https://xircles.codehaus.org/projects/jcsp/repos/primary/repo

jplag

JPlag - Detecting Software Plagiarism

normas_smart

Normas "saludables" para el uso del móvil cuando eres un adolescente

propcheck

Property based Testing for Elixir (based upon PropEr)

sequenceTester

Testing sequences of possibly blocking Java commands

to_be_anonimized

white-paper

White paper