Pinned Loading

1. dotfiles dotfiles Public

   🐧 Personal dotfiles: shells, command-lines, editors, Git, scripts, osx, linux

   Shell 3

2. learning-notes learning-notes Public

   📚 Writings I read, talks I watch, courses I attend, and notes I take

   5 1

3. proglang proglang Public

   Programming Languages course from Coursera

   Standard ML

4. php php Public template

   [wip] Skeleton to bootstrap plain PHP projects with docker

   Makefile

5. jod jod Public

   Jump or die, yet another 2d platform game

   C++

6. x10bus x10bus Public

   Interfaz para servicios de control mediante bus domótico X10

   C