Repositories
My personal repositories
Name | Description | Owner | Last commit |
a-conjecture-of-mine | An exercise on polyglossy: the same problem solved on multiple languages | Pablo | |
introducao-a-assembly | Repositório dos arquivos usados na apresentação "Introdução a Assembly" da CriptoGoma de 2020 🖥️ | Pablo | |
haskell-posit | Haskell bindings for the SoftPosit C library 🧮 (WIP) | Pablo | |
ico-sxiv | View the individual entries of an ICO file in sxiv ⏺️ | Pablo | |
svg.escobar.life | A simple SVG markup editor for the web | Pablo | |
cmark | My personal build of CMark ✏️ | Pablo | |
latex-setup | My personal LaTeX setup 🦁️⚙️ | Pablo | |
tikz.escobar.life | The setup for tikz.escobar.life | Pablo | |
photos | An archive of some of my photos 📸 | Pablo | |
config | A simple configuration manager | Pablo | |
idris-matrix | A simple Idris library for manipulating matrices 🧙 | Pablo | |
pablo.escobar.life | The setup for my website and blog | Pablo | |
zip2img | A small utility to converts ZIP archives to MS-DOS compatible disk images (virtual floppies) 💾️ | Pablo | |
stagit | My personal build of stagit 😸️ | Hiltjo Posthuma | |
photos.escobar.life | The repository for the code used for generating the photos.pablopie.xyz website 📸️ | Pablo | |
latex-pictures | A collection of TikZ drawings and other images 🖌️ | Pablo | |
fish-corona | Track corona-virus cases from the fish-shell 😷️ | Pablo | |
dotfiles | My personal dotfiles 💠️ | Pablo | |
natural-number-game | Solututions to the Natural Number Game | Pablo | |
caml-urm | A OCaml module for manipulating unlimited register machines | Pablo | |
bomber-kittie | A fun little ROM hack of mine 💣️ | Pablo |