It appears from their repo that they have 5-6 people working full time on this. Assuming about 250k per developer that puts their burn at 6 * 250k = 1.5 million a year. So yeah they have some time. Although I would be severely concerned at their progress considering it’s already been a year and they don’t seem to have shipped much. No proof of PMF or any sort of revenue with over a third of their runway depleted should have them hustling to get on the boards.

If you're looking for evidence in the public repo, consider what's not in there: one co-founder is missing, and so are the commits from the other author/co-founder for over a year. Not the signals you want in a dev-tooling project.