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 🖥️

020 🖥️

haskell-posit

Pablo

Haskell bindings for the SoftPosit C library 🧮 (WIP)

ico-sxiv

Pablo

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

svg.escobar.life

Pablo

A simple SVG markup editor for the web

cmark

Pablo

My personal build of CMark ✏️

latex-setup

Pablo

My personal LaTeX setup 🦁️⚙️

tikz.escobar.life

Pablo

The setup for tikz.escobar.life

photos

Pablo

An archive of some of my photos 📸

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) 💾️

stagit

Hiltjo Posthuma; Pablo

My personal build of stagit 😸️

photos.escobar.life

Pablo

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

latex-pictures

Pablo

A collection of TikZ drawings and other images 🖌️

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

fish-corona

Pablo

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

dotfiles

Pablo

My personal dotfiles 💠️

natural-number-game

Pablo

Solututions to the Natural Number Game

caml-urm

Pablo

A OCaml module for manipulating unlimited register machines

bomber-kittie

Pablo

A fun little ROM hack of mine 💣️