There's ærialbot – while nominally a Twitter bot I created because I wanted to follow it and it didn't quite exist in this form yet, it can be used to download arbitrarily large satellite maps from various services: https://github.com/doersino/aerialbot
Also: UnicodeMathML, a more-or-less-standard-compliant UnicodeMath (a linear encoding of mathematics that leverages Unicode for brevity and plain-text readability that's built into MS Office) to MathML translator – it's the only reasonably feature-complete, web-based UnicodeMath-to-anything compiler I'm aware of: https://github.com/doersino/UnicodeMathML