I think they got funded by someone and now Tim has left MIT and works for the funded version of this. Forgot what it’s called. I was in touch w the team in the past. Tried to join forces with https://qbix.com/platform because I felt we were much further ahead but needed more standards compliance. It never led to anything so I haven’t really been following them. But Melvin Carvalho and the team are still activeon github.
[1]https://github.com/solid/solid?files=1