a-conjecture-of-mine

Pablo 24/01/2021

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

introducao-a-assembly

Pablo 02/05/2021

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

haskell-posit

Pablo 02/05/2021

Haskell bindings for the SoftPosit C library 🧮 (WIP)

ico-sxiv

Pablo 19/08/2021

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

calabi-yau-template

Pablo 01/01/2023

A website template for academic events

curry-howard

Pablo 15/10/2022

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

svg.escobar.life

Pablo 07/01/2023

A simple SVG markup editor for the web

cv

Pablo 07/05/2023

Source code for my CV

30th-siicusp

Pablo 19/10/2022

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

cmark

Pablo 13/05/2021

My personal build of CMark ✏️

latex-setup

Pablo 12/06/2022

My personal LaTeX setup 🦁️⚙️

tikz.escobar.life

Pablo 31/08/2023

The setup for tikz.escobar.life

photos

Pablo 01/03/2023

An archive of some of my photos 📸

config

Pablo 13/01/2022

A simple configuration manager

idris-matrix

Pablo 02/05/2021

A simple Idris library for manipulating matrices 🧙

zip2img

Pablo 02/05/2021

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

stagit

Pablo 07/09/2023

My personal build of stagit

photos.escobar.life

Pablo 14/06/2022

The repository for the code used for generating the photos.pablopie.xyz website 📸️

latex-pictures

Pablo 31/08/2023

A collection of TikZ drawings and other images 🖌️

global-analysis-and-the-banach-manifold-of-class-h1-curvers

Pablo 19/02/2023

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

fish-corona

Pablo 02/05/2021

Track corona-virus cases from the fish-shell 😷️

git-repo-styles

Pablo 07/09/2023

Design documents for git.pablopie.xyz ✏️

natural-number-game

Pablo 31/12/2021

Solututions to the Natural Number Game

lie-algebras-and-their-representations

Pablo 11/09/2023

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

caml-urm

Pablo 03/04/2023

A OCaml module for manipulating unlimited register machines

bomber-kittie

Pablo 03/05/2021

A fun little ROM hack of mine 💣️