For my personnal use I've been using a minimalist script for a while : https://github.com/thiswillbeyourgithub/Quick-Whisper-Typer

don't be afraid to contribute it's a bit rough around the edges