Pablo's repositories
deptos-scraper
Apartments rental scraper, with Telegram notifier implemented.
blog-theme
my personal blog's theme
chaltenboard
Planning app for mountaineering trips. Use a map as canvas, drop markers and comment on them.
ethereum-prometheus-exporter
Prometheus exporter for Ethereum client metrics
grafana-plugin-sdk-go
A Go SDK for building backend plugins for Grafana
openwarming
open source => global warming, clearly
soot-dataflow-analysis
Soot division by zero, and sensible data leaks analysis
souffle-points-to-analysis
Souffle + Soot points to analysis
stackdriver_exporter
Google Stackdriver Prometheus exporter
strava-digest
Weekly Strava mail sender
vercel-blog
Personal blog hosted on Vercel
yet-another-cloudwatch-exporter
AWS cloudwatch to prometheus exporter - Discovers services through AWS tags, gets cloudwatch data and provides them as prometheus metrics with AWS tags as labels.
dibu-architecture
DiBU: Digilent Based Unit - A study computer architecture with two implementations
agent
Vendor-neutral programmable observability pipelines.
chisel-bootcamp
Generator Bootcamp Material: Learn Chisel the Right Way
fpga-softcore
Repo de cursada de FPGA Softcores design
github-app-jwt
Bare minimum CLI for generating a Github App JWT
pympress
Pympress is a simple yet powerful PDF reader designed for dual-screen presentations
RocoLib
Web App to create and share bouldering routes of a climbing gym.
RouteMaker
Browser and Android application where users can quickly create climbing routes and share with community
site
Personal website
tsm-pipeline
Mono-repo containing all related to Taint Specification Mining (TSM)