Pinned Repositories
AW-2016-17
Material de la asignatura de Aplicaciones Web (GIS - FdI - UCM). Curso 2016/17
AW-2017-18
Aplicaciones Web. Grado en Ingeniería del Software. Curso 2017/18
datasciencecoursera
Github repo for Data Scientist's Toolbox
ED
Estructuras de datos. Curso 2021/22
ED-2021
Código fuente de la asignatura Estructuras de Datos (curso 2020/21)
erlang-poly-transformer
Improving the accuracy of Dialyzer by program transformation
liquidarrays
Array invariant synthesis via Liquid Types
theme_utils
A TextAdept module for switching between themes
while_parser_api
A web-based interface and web service for the while_parser library
while_parser_cli
A command line interface for while_parser library
manuelmontenegro's Repositories
manuelmontenegro/ED
Estructuras de datos. Curso 2021/22
manuelmontenegro/while_parser_cli
A command line interface for while_parser library
manuelmontenegro/AW-2017-18
Aplicaciones Web. Grado en Ingeniería del Software. Curso 2017/18
manuelmontenegro/AW-2016-17
Material de la asignatura de Aplicaciones Web (GIS - FdI - UCM). Curso 2016/17
manuelmontenegro/ED-2021
Código fuente de la asignatura Estructuras de Datos (curso 2020/21)
manuelmontenegro/erlang-poly-transformer
Improving the accuracy of Dialyzer by program transformation
manuelmontenegro/liquidarrays
Array invariant synthesis via Liquid Types
manuelmontenegro/theme_utils
A TextAdept module for switching between themes
manuelmontenegro/datasciencecoursera
Github repo for Data Scientist's Toolbox
manuelmontenegro/PDAP-2022-23
Material de la asignatura Programación Declarativa Aplicada (Máster en Ingeniería Informática)
manuelmontenegro/tfg-bdoo
TFG BDOO
manuelmontenegro/while_parser_api
A web-based interface and web service for the while_parser library
manuelmontenegro/datasharing
The Leek group guide to data sharing
manuelmontenegro/ED-2020
Código fuente correspondiente a la asignatura de Estructuras de Datos (Curso 2019/20)
manuelmontenegro/europroofnet.github.io
Sources of the EuroProofNet web site.
manuelmontenegro/gather_submissions
A tool for gathering submissions from a DOMjudge server into a LaTeX file
manuelmontenegro/irparser
A transformer from a desugared version of Erlang into the CAVIART's IR
manuelmontenegro/logic_elixir
manuelmontenegro/manuelmontenegro.github.io
manuelmontenegro/patchwork
All the Git-it Workshop completers!
manuelmontenegro/PDAP-2024-25
Programación Declarativa Aplicada (curso 2024-25)
manuelmontenegro/pdfmeta
A simple PDF metadata editor
manuelmontenegro/ProgrammingAssignment2
Repository for Programming Assignment 2 for R Programming on Coursera
manuelmontenegro/split_and_grade
A simple tool for filling in Moodle gradesheets and generating feedback attachments
manuelmontenegro/while_parser
A parser for the While language
manuelmontenegro/wx_helper
A helper module for using wxErlang in Elixir.