Pinned Repositories
CityMapperBot
jsongen
JSON instances generation and validation from JSON Schema and other JSON data descriptions
.emacs.d
Mi* configuración de emacs.
ANF-
SAT solver with ANF oriented to high performance parallel execution with GPU
bsvc-front
A usable BSVC interface
Charlas
Recopilatorio de charlas vistas y de la informacion relevante que se explica en ellas.
haskcell-lib
A Haskell library for typed spreadsheets
IngenieriaDelSoftware1
Repositorio para hacer apuntes de IS1 de forma colaborativa
Python-Sig-ACMUPM
Repositorio para el SIG (Special Interes Group) de ACM FI UPM sobre el lenguaje Python
ignaciobll's Repositories
ignaciobll/.emacs.d
Mi* configuración de emacs.
ignaciobll/IngenieriaDelSoftware1
Repositorio para hacer apuntes de IS1 de forma colaborativa
ignaciobll/ANF-
SAT solver with ANF oriented to high performance parallel execution with GPU
ignaciobll/bsvc-front
A usable BSVC interface
ignaciobll/haskcell-lib
A Haskell library for typed spreadsheets
ignaciobll/etsiiinf-tfm
Este repositorio es un fork del proporcionado en bitbucket por Gonlos NA
ignaciobll/SegTI
ignaciobll/TelegramContactGraph
ignaciobll/WebMachineApiExamples
Pequeña API Rest con Webmachine
ignaciobll/Git-Talk17
ignaciobll/.dotfiles
Dotfiles
ignaciobll/alloy-mode
Emacs major mode for Alloy
ignaciobll/ArmarioACM
Pequeño repositorio en el que colaboraremos para mejorar el sistema del armario de comida de ACM :D
ignaciobll/bin
A collection of utilities for developing and running GitHub Actions
ignaciobll/bsvc
The BSVC Microprocessor Simulation Framework
ignaciobll/Curso2018-2019
Repository for the course Semantic Web and Linked Data (2018-2019, first semester)
ignaciobll/euler-hs
EulerHS: full-fledged framework for creating web backends
ignaciobll/ex_abi
The Ethereum ABI Interface
ignaciobll/ignaciobll.github.io
ignaciobll/LaTeX_Course_2017
Notas tomadas del curso de LaTeX de @acmupm impartido por Julio Mariño. Creado con la intención de aprender LaTeX.
ignaciobll/nocturnas
API para las jornadas nocturnas
ignaciobll/openapi-boilerplate
📘 Multi-file boilerplate for Open API Specification
ignaciobll/opencl
Haskell high-level wrapper for OpenCL
ignaciobll/OpenLibraSpam_bot
Bot que spamea al canal de openlibra ACM Books (o algo así)
ignaciobll/PlantillaTrabajosLATEX
Plantilla de Trabajos/Entregables
ignaciobll/polysemy
:gemini: higher-order, no-boilerplate, zero-cost monads
ignaciobll/sat_solver
ignaciobll/Smtlib
Parser for smt-lib Command responses
ignaciobll/spotify_uri_bot
Bot that parses Spotify URIs and gives information about a song, artist, album or playlist
ignaciobll/TelegramLink2Discourse
Automatización mediante un bot de Telegram de la creación de posts en Discourse de los links pasados.