Agustín Mista

positron. Effortlessly control your Home Assistant devices using keyboard shortcuts

mdviewer. Minimalistic Markdown viewer/converter with built-in Css stylesheets support.

vibrant_deck_cli. Tweak the screen saturation of the Steam Deck from the command line

qmk-rgb-live. Control the RGB matrix of QMK-enabled keyboards dynamically using WebHID

nixcaps. Nix flake to compile out-of-tree QMK firmwares

PyAudioSelector. Python written GTK3 AppIndicator to easily route between PulseAudio sources and sinks.

mini_vm. A «very» basic virtual machine written in C

easycrypt-docker. A Docker image with EasyCrypt, Z3, Alt-Ergo, and Doom Emacs with Proof-General preinstalled :D

website. My personal website built using Hakyll

tiger-compiler. Tiger language compiler written in Haskell