a-conjecture-of-mine

Pablo

An exercise on polyglossy: the same problem solved on multiple languages

introducao-a-assembly

Pablo

Repositório dos arquivos usados na apresentação "Introdução a Assembly" da CriptoGoma de 2020 🖥️

ico-sxiv

Pablo

View the individual entries of an ICO file in sxiv ⏺️

memoire-m2

Pablo

My M2 Memoire on mapping class groups & their representations

curry-howard

Pablo

Slides of a (very) informal lecture of mine on the Curry-Howard correspondence

stapix

Pablo

Yet another static page generator for photo galleries

cv

Pablo

Source code for my CV

30th-siicusp

Pablo

A short lecture of mine on my scientific initiation project for 30th SIICUSP

cmark

Pablo

My personal build of CMark ✏️

latex-setup

Pablo

My personal LaTeX setup 🦁️⚙️

config

Pablo

A simple configuration manager

idris-matrix

Pablo

A simple Idris library for manipulating matrices 🧙

zip2img

Pablo

A small utility to converts ZIP archives to MS-DOS compatible disk images (virtual floppies) 💾️

git-repo-styles

Pablo

Design documents for git.pablopie.xyz ✏️

lie-algebras-and-their-representations

Pablo

Source code for my notes on representations of semisimple Lie algebras and Olivier Mathieu's classification of simple weight modules

caml-urm

Pablo

A OCaml module for manipulating unlimited register machines

bomber-kittie

Pablo

A fun little ROM hack of mine 💣️