Agustín Mista's repositories
vibrant_deck_cli
Tweak the screen saturation of the Steam Deck from the command line
easycrypt-docker
A Docker image with EasyCrypt, Z3, Alt-Ergo, and Doom Emacs with Proof-General preinstalled :D
qmk-rgb-live
Control the RGB matrix of QMK-enabled keyboards dynamically using WebHID
arepa-zephyr
Programming microcontrollers using the arepa language
avr-playground
Programming AVR microcontrollers inside a DevContainer
CircuitPythonSketches
Some sketches using CircuitPython
FirePeerReview
A small Python script to send Fire submissions via email for peer review.
guestbook
A small guestbook webserver in Haskell, made for no reason other than to prove a point.
haskell-wasm
Haskell WebAssembly Toolkit
kickstart.nvim
A launch point for your personal nvim configuration
latex-lhs2tex-docker
An Ubuntu image with Texlive-full and Lhs2TeX preinstalled
mirror-to-gitea
Mirror your github repositories to your gitea server
oh-my-bash
A delightful community-driven framework for managing your bash configuration, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
pi-forall
A demo implementation of a simple dependently-typed language
qmk-playground
A modular out-of-tree builder for custom QMK keyboard firmware
QuickFuzz
An experimental grammar fuzzer in Haskell using QuickCheck
rp2040-playground
Programming Raspberry Pi RP2040 inside a DevContainer
sigrok-pico
Use a raspberry pi pico (rp2040) as a logic analyzer and oscilloscope with sigrok
stl-playground
Playing with 3D modeling and plastic noodle printing
tasty
Modern and extensible testing framework for Haskell
tda283
Material for TDA283 / DIT300 Compiler Construction
telekasten.nvim
A Neovim (lua) plugin for working with a markdown zettelkasten / wiki and mixing it with a journal, based on telescope.nvim
vasttrafik
Create trip departure/arrival boards easily using the Västtrafik API