Discover @ignaciobll Open Source projects

Ignacio Ballesteros (@ignaciobll)

ignaciobll

Stars
26
Global Rank 542,735 (Top 19 %)
Followers 42
Following 41
Registered almost 11 years ago
Most used languages

TeX
33.3 %

Haskell
22.2 %

Elm
11.1 %

Emacs Lisp
11.1 %

Erlang
11.1 %

Python
11.1 %
Location 🇪🇸 Spain
Country Total Rank 5,922
Country Ranking

Emacs Lisp
31

Elm
38

Haskell
63

Erlang
64

TeX
102

Python
5,951

.emacs.d

Mi* configuración de emacs.

IngenieriaDelSoftware1

Repositorio para hacer apuntes de IS1 de forma colaborativa

ANF-

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

Charlas

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

Python-Sig-ACMUPM

Repositorio para el SIG (Special Interes Group) de ACM FI UPM sobre el lenguaje Python

haskcell-lib

A Haskell library for typed spreadsheets

bsvc-front

A usable BSVC interface

TelegramContactGraph

etsiiinf-tfm

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

SegTI

WebMachineApiExamples

Pequeña API Rest con Webmachine