Right. Nothing obvious in public. Where I'm heading is that all labs pay for solutions to software engineering task and never publicize those, I assume they do the same with maths?
I went through a similar phase of excitement, but then realised it's a confusing layer of indirection on top of 'whatever-your-project-default-is' (e.g. npm + package.json). But I always need Make for BE+FE (small) projects, e.g. backend build with go and frontend is an SPA - this is where the power of Make to track dependencies really shines.
Input is a problem. Can’t imagine using mobile keyboard for anything more complex than texting. Curious whether Replit will integrate with voice coding solutions one day (like https://github.com/cursorless-dev/cursorless).