Small Guix - A Guix channel I mantain with some opinionated development tailored Guix operating system definitions.


Guix - Guix is a zero-trust deployment toolkit and Linux distribution. It allows the generation of bit by bit reproducible artefacts (OS packages, Docker images, virtual machines), enabling all parties in the free software supply chain to independently verify whether a given binary comes from a certain source.

mobilizon-reshare - Supercharge your event promotion strategy as an organization by automating your social media publishing through an application that can be run on your server, giving you full control and privacy.

guile-sparql - A SPARQL module for Guile Scheme to query an RDF store. Additionally, it provides an interface to write SPARQL queries using S-expressions.

Research Projects

Sample Efficient Reinforcement Learning in Minecraft - Research project with the aim of creating a Rainbow agent that can accurately collect wooden blocks on Minecraft. It involved agent configuration and training, performance validation through standard metrics and generating explanations of adopted policies (i.e. saliency maps).