ignaciobll Goto Github PK

.dotfiles

Dotfiles

.emacs.d

Mi* configuración de emacs.

algoritmos_de_ordenacion

alloy-mode

Emacs major mode for Alloy

anf-

SAT solver with ANF oriented to high performance parallel execution with GPU

armarioacm

Pequeño repositorio en el que colaboraremos para mejorar el sistema del armario de comida de ACM :D

awesome

My awesome wm configuration.

bin

A collection of utilities for developing and running GitHub Actions

bsvc

The BSVC Microprocessor Simulation Framework

bsvc-front

A usable BSVC interface

cafiteriabot

Bot para saber el menu de la FI

channeladministratorbot

charlas

Recopilatorio de charlas vistas y de la informacion relevante que se explica en ellas.

citymappy

City Mapper API

concursos

Repositorio donde subiré soluciones a ejercicios de concursos online, desafíos y hackathones en los que vaya participando.

curso2018-2019

Repository for the course Semantic Web and Linked Data (2018-2019, first semester)

drkata

Aquí encontrarás el enunciado de los ejercicios que plantearemos en el proyecto Dr. Kata.

elixircode

Reference Repo for an Elixir course on Udemy.com

elm-music-player

Repositorio para el taller: Crear un reproductor de música con Elm

etsiiinf-tfm

Este repositorio es un fork del proporcionado en bitbucket por Gonlos NA

euler-hs

EulerHS: full-fledged framework for creating web backends

ex_abi

The Ethereum ABI Interface

git-talk17

haskcell-lib

A Haskell library for typed spreadsheets

haskell

ignaciobll.github.io

ingenieriadelsoftware1

Repositorio para hacer apuntes de IS1 de forma colaborativa

jsongen

JSON instances generation and validation from JSON Schema and other JSON data descriptions

latex_course_2017

Notas tomadas del curso de LaTeX de @acmupm impartido por Julio Mariño. Creado con la intención de aprender LaTeX.

multiprocessingart

This is a repository where I will upload some implementations of Concurrent and Paralell programming. Just for fun.