Skip to content




  • Pro


@NixOS @base16-templates @megaclan3000 @lounge-rocks @impfbruecke @pablo-tools
Block or Report

Block or report pinpox

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pablo Ovelleiro Corral

Website Github Mastodon Twitter

Hi, there👋! The markdown you are reading right now has been auto-generated. How? Well, it turns out you can use GitHub Actions to run a script that does exacly that. I like to tinker with all sorts of stuff, and maintain a personal website. Below you find some of the latest posts. If you'd like to read more about how this file is generated from there, I've also got you covered ;)





  1. Our custom CS:GO stats page

    Go 8 3

  2. robonet Public

    Convolutional network implementation in Go

    Go 1

  3. kali-i3 Public

    Create Kali Linux VM with i3 using Vagrant and Ansible

    Shell 7 4

  4. A bot to post gitea events to a matrix channel

    Go 5 1

  5. A universal manager to set base16 themes for any supported application

    Go 55 20

  6. nixos Public

    My NixOS Configurations

    Nix 70 3

1,053 contributions in the last year

May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Mon Wed Fri

Contribution activity

May 2022

Created a pull request in NixOS/nixos-search that received 4 comments

Add home-manager to flake sources

Is there any reason why home-manager is still not in here? I feel like there are a lot of people using it and having it's options listed here could…

+5 −0 4 comments
Opened 3 other pull requests in 3 repositories
pinpox/nixos 1 open
dani-garcia/vaultwarden 1 open
pinpox/s3photoalbum 1 merged
Opened 1 issue in 1 repository

Seeing something unexpected? Take a look at the GitHub profile guide.