Dave Page's repositories
ml-experiments
Scripts and code written whilst learning and experimenting with machine learning
winpgbuild
A repo containing Github actions for building PostgreSQL and it's dependencies on Windows
django-react
A test/demo project created whilst learning React, Material UI, and how to use them with Django.
gh-taskclone
Clone tasks (issue titles) from one Github repo to another
pgweb
Mirror of the code behind www.postgresql.org
gandi-ddns
A simple Python script for managing a DDNS record in Gandi
gettext-tools-windows
GNU gettext tools compiled binaries for Windows
myip_exporter
A simple prometheus exporter for reporting data about your current Internet connection, with data from ip-api.com.
system_stats
A Postgres extension for exposing system metrics such as CPU, memory and disk information