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


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

I have for example -tools:
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:

Sign in to participate in the conversation
Binfalsetodon. is one server in the network