Pinned Repositories
aesophia
Stand alone compiler for the Sophia smart contract language
ahtranspas
Transparencias con LaTeX, beamer y metropolis. Estilo ahtranspas.sty y ejemplo de uso
cclib
[OBSOLETE, USE https://gitlab.com/babel-upm/cclib INSTEAD] Concurrency Java Library used at Universidad Politécnica de Madrid.
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
notebooks
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
uml-models
UML diagrams in a textual syntax (PlantUML subset) with a formal semantics
aherranz's Repositories
aherranz/tfg_latex
DEPRECATED/OBSOLETO: LaTeX Template for "Trabajo fin de grado" at ETSIINF UPM
aherranz/tfg_latex_etsiinf
Plantilla LaTeX de la ETSIINF/UPM para la memoria de Trabajo Fin de Grado/Master
aherranz/cclib
[OBSOLETE, USE https://gitlab.com/babel-upm/cclib INSTEAD] Concurrency Java Library used at Universidad Politécnica de Madrid.
aherranz/ahtranspas
Transparencias con LaTeX, beamer y metropolis. Estilo ahtranspas.sty y ejemplo de uso
aherranz/notebooks
aherranz/uml-models
UML diagrams in a textual syntax (PlantUML subset) with a formal semantics
aherranz/aesophia
Stand alone compiler for the Sophia smart contract language
aherranz/ccrtv
Java Library for Runtime Verification of Concurrent Programs (moved to https://github.com/aherranz/ccrv)
aherranz/ccrv
Java Library for Runtime Verification of Concurrent Programs
aherranz/dockerex
aherranz/exampple
XMPP Component Framework
aherranz/go-intro-cs
aherranz/jcsp
Read-only mirror of https://xircles.codehaus.org/projects/jcsp/repos/primary/repo
aherranz/jplag
JPlag - Detecting Software Plagiarism
aherranz/normas_smart
Normas "saludables" para el uso del móvil cuando eres un adolescente
aherranz/propcheck
Property based Testing for Elixir (based upon PropEr)
aherranz/sequenceTester
Testing sequences of possibly blocking Java commands
aherranz/to_be_anonimized
aherranz/white-paper
White paper