Does anyone have projects they think should be more popular? I have git-what, which I think is rather useful... github.com/andybalaam/git-what

Follow

@andybalaam
Seems indeed very useful, I'll give it a try!

I have for example -tools: github.com/binfalse/docker-too
Especially denter and dclean proved to be very comfortable :-)

And then there is to compile latex documents remotely. Helps if you don't want to install texlive on small or smart devices etc:
github.com/binfalse/TEXPILE

Sign in to participate in the conversation
Binfalsetodon.

mstdn.binfalse.de is one server in the network