manuelmontenegro Goto Github PK

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

datasharing

The Leek group guide to data sharing

ed

Estructuras de datos. Curso 2021/22

ed-2020

Código fuente correspondiente a la asignatura de Estructuras de Datos (Curso 2019/20)

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

europroofnet.github.io

Sources of the EuroProofNet web site.

gather_submissions

A tool for gathering submissions from a DOMjudge server into a LaTeX file

irparser

A transformer from a desugared version of Erlang into the CAVIART's IR

liquidarrays

Array invariant synthesis via Liquid Types

logic_elixir

patchwork

All the Git-it Workshop completers!

pdap-2022-23

Material de la asignatura Programación Declarativa Aplicada (Máster en Ingeniería Informática)

pdfmeta

A simple PDF metadata editor

programmingassignment2

Repository for Programming Assignment 2 for R Programming on Coursera

split_and_grade

A simple tool for filling in Moodle gradesheets and generating feedback attachments

tfg-bdoo

TFG BDOO

theme_utils

A TextAdept module for switching between themes

while_parser

A parser for the While language

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

wx_helper

A helper module for using wxErlang in Elixir.