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
calabi-yau-template
Pablo
A website template for academic events
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
tikz-gallery-generator
Pablo
Custum build of stapix for tikz.pablopie.xyz
svg.escobar.life
Pablo
A simple SVG markup editor for the web
cv
Pablo
Source code for my CV
30th-siicusp
Pablo
A short lecture of mine on my scientific initiation project for 30th SIICUSP
photo-gallery-styles
Pablo
Design documents for photos.pablopie.xyz 📸️
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) 💾️
global-analysis-and-the-banach-manifold-of-class-h1-curvers
Pablo
Riemannian Geometry course project on the manifold H¹(I, M) of class H¹ curves on a Riemannian manifold M and its applications to the geodesics problem
git-repo-styles
Pablo
Design documents for git.pablopie.xyz ✏️
natural-number-game
Pablo
Solututions to the Natural Number Game
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 💣️